Interactive BDD EnvironmentInteractive BDD Environment project is a shell like utility for working with ROBDDs. | |
Download |
Interactive BDD Environment Ranking & Summary
Advertisement
Interactive BDD Environment Tags
Interactive BDD Environment Description
Interactive BDD Environment project is a shell like utility for working with ROBDDs. 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 Related Software