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