Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

DBN++ Data Structures and Algorithms in C++ for Dynamic Bayesian Networks

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Benchmarking Suite for BDD packages

A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)

Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>

CUDD Library in C for visualizing digital logic as BDDs( Binary Decision Digrams)

A static-library version of the famous CUDD (Colorado University Decision Diagram) library.