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):
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.