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
Content tags:
Add:
shortlog
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
heads
3 years ago master