A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php

Name
Last commit
Last update
examples Loading commit data...
include Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
README Loading commit data...