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
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
3 years ago master