repo.or.cz / cl-cudd.git / shortlog
| 2011-05-13 | Utz-Uwe Haus | modify default solver parameters master | commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2010-05-28 | Utz-Uwe Haus | Extend exported interface to what we need in common... | commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2010-05-28 | Utz-Uwe Haus | Move package definitions from .i file to separate lisp... | commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2010-05-28 | Utz-Uwe Haus | Clarify licensing issues | commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2010-05-28 | Utz-Uwe Haus | Fix automatic .so loading and add Makefile | commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2009-10-23 | Utz-Uwe Haus | emergency commit | commit | commitdiff | tree | snapshot (tar.gz zip) |