repo.or.cz / cl-cudd.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | 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
URLgit://repo.or.cz/cl-cudd.git
http://repo.or.cz/r/cl-cudd.git
Push URLssh://repo.or.cz/srv/git/cl-cudd.git
Content tags:
Add:
shortlog
2011-05-13 Utz-Uwe Hausmodify default solver parameters master 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
2 years ago master log | tree
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi