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

This page is linked from: cl-satwrap

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively