Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
tulip-control
DBN++ Data Structures and Algorithms in C++ for Dynamic Bayesian Networks
thiagopbueno
tulip-control
