This is a swig/cffi wrapper around University of Colorado at Boulder's CUDD
library. It is a work-in-progress, but works for me with Allegro CL and SBCL
on linux/intel 32bit and 64bit.
The wrapper code is released under the Lisp Lesser GPL, see
<http://opensource.franz.com/preamble.html>.
A complete distribution of cudd-2.4.2 is enclosed in the distr/ subdirectory
for convenience. See distr/LICENSE for the cudd license.
Utz-Uwe Haus
<lisp@uuhaus.de>
Fri May 28 15:25:10 CEST 2010