Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Concurrent decision diagram framework written in Rust
Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
