Interactive BDD Environment 1.1 review

Download
by rbytes.net on

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 stars award from rbytes.net

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

Interactive BDD Environment 1.1 keywords