repo.or.cz / cl-satwrap.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | 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 changeFri, 13 May 2011 10:13:18 +0000
URLgit://repo.or.cz/cl-satwrap.git
http://repo.or.cz/r/cl-satwrap.git
Push URLssh://repo.or.cz/srv/git/cl-satwrap.git
Content tags:
Add:
shortlog
2011-05-13 Utz-Uwe Hausadd missing configure.ac and ltmain.sh in minisat subtree master 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)
2010-06-22 Utz-Uwe HausFix macro expansion time confusion in with-index-hash commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-17 Utz-Uwe Hausremove debugging output and ensure empty clauses are... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-17 Utz-Uwe HausFix call to minisat solve() minisat-backend commit | commitdiff | tree | snapshot (tar.gz zip)
...
tags
2 years ago picosat-913   | commit | log
2 years ago precosat-465r2   | commit | log
heads
2 years ago master log | tree
2 years ago minisat-backend log | tree
2 years ago picosat-backend log | tree
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace