The Interactive BDD Environment

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. In IBEN one can enter the expressions interactively and view the result as a graph or ask questions about the ROBDD, for example, the number of nodes in the ROBDD.

IBEN uses the Buddy BDD package by Jørn Lind-Nielsen. The Buddy source code is available for download. In order to use the visualisation feature of IBEN, you also need to install Ghostview and dot from the graphviz package.

IBEN version 1.1 was released on the 25th of March 2003. You can download the source code from the download page.

Thanks go to for hosting this project. Logo

Last modified: 25/3-2003.