visBDD - Visualization of the OBDD - ITE - Algorithm


To run the program, simply open the html page visBDDApplet.html with
your favorite Browser, supporting Java 2.
To run visBDD from console, you will need an installation of Java 2.
The command 'java -jar visBDD.jar' starts the program.

Problems can be reported to schillings@uni-trier.de 
