Interactive BDD Environment 1.1 review

Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Orde

License: GPL (GNU General Public License) File size: 0K Developer: Gerd Behrmann

0

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