PBDD

Project information

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

5 Commits
1 Branch
0 Tags

README
BSD 2-Clause with views sentence

Created on

October 18, 2017

Copy SSH clone URLgit@gitlab.flux.utah.edu:mvander/PBDD.git
Copy HTTPS clone URLhttps://gitlab.flux.utah.edu/mvander/PBDD.git