visualization framework visBDD, intended for learning and understanding
basic algorithms related to Ordered Binary Decision Diagrams (OBDDs).
With visBDD the key algorithm for OBDD-synthesis, the ite-algorithm
can be explored in depth and step-by-step by the user, while all involved
data structures can be made visible in different levels of abstraction.
The framework is intended as well as for professionals as for students
and also, who want to gain more insight into the powerful OBDD data
structure that is used in many verification and synthesis tools, for
a better understanding of the underlying mechanisms and the problem
complexity, without being dependent on reading textbooks.
german Java Jar File version is available here.
english version is available here.
To run visBDD as an applet, you will need Java 2 installed on your Browser.