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