descriptionGeneric SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace
last changeTue, 31 May 2016 09:02:26 +0000 (31 11:02 +0200)
content tags
2016-05-31 u-u-hmodernize for asdf3master
2016-05-31 u-u-hfix minisat compile on modern c++ compilers
2016-05-30 Utz-Uwe Hausmodernize autotools usage
2011-05-13 Utz-Uwe Hausadd missing and in minisat subtree
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...
15 months ago picosat-965
7 years ago picosat-913
7 years ago precosat-465r2
15 months ago master
15 months ago picosat-backend
7 years ago minisat-backend