Interactive BDD Environment 1.1

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

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Gerd Behrmann
HOMEPAGE:
iben.sourceforge.net
CATEGORY:
ROOT \ Education
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

Last updated on November 1st, 2006

#Interactive BDD #Interactive Environment #BDD Environment #Interactive #BDD #Environment #expressions

Add your review!

SUBMIT