This tool generates visualizations of BDDs.


Specify the BDDs you would like to see in the textbox below and press the “Submit” button.


Filename used to save the BDD visualization(s):


Multiple print statements are no longer supported due to some php problem I can't understand. The graph of only the first print statement will be generated. Sorry!


        


A tutorial can be found here: BDD Visualizer Tutorial - Part 1, Part 2, Part 3.


Some more examples can be found here: Constructing BDDs QuickStart.


This tool makes use of SBSAT and Graphvis.


Comments and suggestions are welcome.

BDD Visualizer