descriptionGeneric SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace
ownerlisp@uuhaus.de
last changeFri, 13 May 2011 10:13:18 +0000
Content tags:
Add:
shortlog
2011-05-13 Utz-Uwe Hausadd missing configure.ac and ltmain.sh in minisat subtreemaster
2011-05-09 Utz-Uwe Hausupdate to newer libtool, keep in-tree
2011-05-09 Utz-Uwe Hausanother round of default test predicate mess
2011-05-09 Utz-Uwe Hausmessing with default test predicate in macro again
2011-05-09 Utz-Uwe Haus.gitignore update
2011-05-09 Utz-Uwe Hausfixes for package name confusion in swig-lispify
2010-06-22 Utz-Uwe HausReduce consing in flush-to-backend
2010-06-22 Utz-Uwe HausAdd vector variant for clause-valid method
2010-06-22 Utz-Uwe HausReduce consing and recursion in split-delimited-string
2010-06-22 Utz-Uwe HausAllow assumptions to be lists or vectors in backend
2010-06-22 Utz-Uwe HausAvoid double mapping from symbolic literals to variable...
2010-06-22 Utz-Uwe HausFix NNF generation if explicit :ATOMs are used
2010-06-22 Utz-Uwe Hausfix add-formula to drop :AND and :OR-symbols before...
2010-06-22 Utz-Uwe HausFix macro expansion time confusion in with-index-hash
2010-06-17 Utz-Uwe Hausremove debugging output and ensure empty clauses are...
2010-06-17 Utz-Uwe HausFix call to minisat solve()minisat-backend
...
tags
4 years ago picosat-913
4 years ago precosat-465r2
heads
3 years ago master
4 years ago minisat-backend
4 years ago picosat-backend