?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

 
descriptionGeneric SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace
ownerlisp@uuhaus.de
last changeTue, 31 May 2016 09:02:26 +0000 (31 11:02 +0200)
URLgit://repo.or.cz/cl-satwrap.git
https://repo.or.cz/cl-satwrap.git
push URLssh://repo.or.cz/cl-satwrap.git
https://repo.or.cz/cl-satwrap.git (learn more)
bundle infocl-satwrap.git downloadable bundles
content tags
add:
shortlog
2016-05-31 u-u-hmodernize for asdf3master commit | commitdiff | tree | snapshot (tar.gz zip)
2016-05-31 u-u-hfix minisat compile on modern c++ compilers commit | commitdiff | tree | snapshot (tar.gz zip)
2016-05-30 Utz-Uwe Hausmodernize autotools usage commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-13 Utz-Uwe Hausadd missing configure.ac and ltmain.sh in minisat subtree commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-09 Utz-Uwe Hausupdate to newer libtool, keep in-tree commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-09 Utz-Uwe Hausanother round of default test predicate mess commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-09 Utz-Uwe Hausmessing with default test predicate in macro again commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-09 Utz-Uwe Haus.gitignore update commit | commitdiff | tree | snapshot (tar.gz zip)
2011-05-09 Utz-Uwe Hausfixes for package name confusion in swig-lispify commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausReduce consing in flush-to-backend commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausAdd vector variant for clause-valid method commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausReduce consing and recursion in split-delimited-string commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausAllow assumptions to be lists or vectors in backend commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausAvoid double mapping from symbolic literals to variable... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe HausFix NNF generation if explicit :ATOMs are used commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-22 Utz-Uwe Hausfix add-formula to drop :AND and :OR-symbols before... commit | commitdiff | tree | snapshot (tar.gz zip)
...
tags
7 years ago picosat-965    | commit | log
13 years ago picosat-913    | commit | log
13 years ago precosat-465r2    | commit | log
heads
7 years ago master log | tree
7 years ago picosat-backend log | tree
13 years ago minisat-backend log | tree
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace