Interactive BDD Environment Interactive BDD Environment project is a shell like utility for working with ROBDDs.
Download

Interactive BDD Environment Ranking & Summary

Interactive BDD Environment Tags

interactive environment interactive environment BDD Interactive BDD BDD Environment

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