cl-cudd
CL-CUDD is a swig/cffi wrapper around the University of Colorado Decision Diagram library CUDD-2.4.2.

The code is available under LLGPL; the cudd library (C-code) is also free software.

Code is available at repo.or.cz/w/cl-cudd.git.

See also cl-satwrap.

Topics: Electronics, AI, Theorem Provers