?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

 
descriptionCommon Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi
ownerlisp@uuhaus.de
last changeFri, 13 May 2011 10:20:30 +0000 (13 12:20 +0200)
URLgit://repo.or.cz/cl-cudd.git
https://repo.or.cz/cl-cudd.git
push URLssh://repo.or.cz/cl-cudd.git
https://repo.or.cz/cl-cudd.git (learn more)
bundle infocl-cudd.git downloadable bundles
content tags
add:
README
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
shortlog
2011-05-13 Utz-Uwe Hausmodify default solver parametersmaster commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-28 Utz-Uwe HausExtend exported interface to what we need in common... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-28 Utz-Uwe HausMove package definitions from .i file to separate lisp... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-28 Utz-Uwe HausClarify licensing issues commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-28 Utz-Uwe HausFix automatic .so loading and add Makefile commit | commitdiff | tree | snapshot (tar.gz zip)
2009-10-23 Utz-Uwe Hausemergency commit commit | commitdiff | tree | snapshot (tar.gz zip)
heads
12 years ago master log | tree
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi