Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD and BuDDy https://pypi.python.org/pypi/dd

bdd binary-decision-diagrams cudd cython python sylvan