Interactive BDD Environment 1.1 review
DownloadInteractive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Orde
|
|
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