Interactive BDD Environment

1.1 GPL (GNU General Public License)    
  UNRATED

  763 downloads

Interactive BDD Environment project is a shell like utility for working with ROBDDs.

description

download

specs

Interactive BDD Environment project is a shell like utility for working with ROBDDs.

IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams.

It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package.

One can enter the expressions interactively, and view the result as a graph or ask questions about the ROBDD, such as the number of nodes in the ROBDD.

Requirements:

· AFPL Ghostscript (Default branch) (recommended)
· graphviz (Default branch) (recommended)



What's New in This Release:

· Upgraded to buddy version 2.2
· Added man page
read more   
Last updated on November 1st, 2006

#Interactive BDD #Interactive Environment #BDD Environment #Interactive #BDD #Environment #expressions

0 User reviews so far.

SUBMIT