Interactive BDD Environment

  763 downloads
1.1 GPL (GNU General Public License)    
  not rated
Interactive BDD Environment project is a shell like utility for working with ROBDDs.

description

download

specifications

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

0 User reviews so far.

SUBMIT