descriptionCommon Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi
last changeFri, 13 May 2011 10:20:30 +0000 (13 12:20 +0200)
content tags
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

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
Fri May 28 15:25:10 CEST 2010
2011-05-13 Utz-Uwe Hausmodify default solver parametersmaster
2010-05-28 Utz-Uwe HausExtend exported interface to what we need in common...
2010-05-28 Utz-Uwe HausMove package definitions from .i file to separate lisp...
2010-05-28 Utz-Uwe HausClarify licensing issues
2010-05-28 Utz-Uwe HausFix automatic .so loading and add Makefile
2009-10-23 Utz-Uwe Hausemergency commit
7 years ago master