Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library
