repo.or.cz / cl-satwrap.git / shortlog
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
shortlog | fulllog | HEAD ⋅ prev ⋅ next
cl-satwrap.git
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)
2010-06-17 Utz-Uwe HausFix non-cnf formula addition interface commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-16 Utz-Uwe HausFix with-sat-solver macro to correctly reference *defau... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-15 Utz-Uwe Haus(minisat backend ) Return number of queued assumptions... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-15 Utz-Uwe HausAlso build minisat backend commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-15 Utz-Uwe HausFix assumption handling in precosat backend commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-10 Utz-Uwe HausAdd CNF builder convenience functions commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-10 Utz-Uwe Hausadd-clauses convenience function commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-03 Utz-Uwe HausNew method synchronize-backend to allow incremental... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-02 Utz-Uwe HausAdd minisat backend to lisp code, make it the default commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-02 Utz-Uwe HausMinimalistic minisat header and SWIG integration commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-02 Utz-Uwe HausAutotools setup for minisat commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-02 Utz-Uwe HausFix first line in dimacs format export commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-02 Utz-Uwe HausImport minisat2-070721 commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausReally fix memory issue: Precosat Solver->reset() was... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausFix with-index-hash commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausProperly dispose of precosat objects. commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausAdd get-essential-variables implementation. commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausAdd with-sat-solver and with-index-hash macros. commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausAdd dimacs reader/writer commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausProper garbage collection of foreign objects using... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-06-01 Utz-Uwe HausSWIG wrapper layer and .i file for precosat, minimalist... commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-30 Utz-Uwe HausImport precosat-465r2-2ce82ba-100514 commit | commitdiff | tree | snapshot (tar.gz zip)
2010-05-30 Utz-Uwe HausInitial layout commit | commitdiff | tree | snapshot (tar.gz zip)
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace