Interactive BDD Environment 1.1

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

last updated on:
November 1st, 2006, 2:05 GMT
price:
FREE!
developed by:
Gerd Behrmann
license type:
GPL (GNU General Public License) 
category:
ROOT \ Education

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Add your review!

SUBMIT