Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
An I/O-efficient implementation of (Binary) Decision Diagrams
