cl-satwrap.git
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
2010-06-17 Utz-Uwe HausFix non-cnf formula addition interface
2010-06-16 Utz-Uwe HausFix with-sat-solver macro to correctly reference *defau...
2010-06-15 Utz-Uwe Haus(minisat backend ) Return number of queued assumptions...
2010-06-15 Utz-Uwe HausAlso build minisat backend
2010-06-15 Utz-Uwe HausFix assumption handling in precosat backend
2010-06-10 Utz-Uwe HausAdd CNF builder convenience functions
2010-06-10 Utz-Uwe Hausadd-clauses convenience function
2010-06-03 Utz-Uwe HausNew method synchronize-backend to allow incremental...
2010-06-02 Utz-Uwe HausAdd minisat backend to lisp code, make it the default
2010-06-02 Utz-Uwe HausMinimalistic minisat header and SWIG integration
2010-06-02 Utz-Uwe HausAutotools setup for minisat
2010-06-02 Utz-Uwe HausFix first line in dimacs format export
2010-06-02 Utz-Uwe HausImport minisat2-070721
2010-06-01 Utz-Uwe HausReally fix memory issue: Precosat Solver->reset() was...
2010-06-01 Utz-Uwe HausFix with-index-hash
2010-06-01 Utz-Uwe HausProperly dispose of precosat objects.
2010-06-01 Utz-Uwe HausAdd get-essential-variables implementation.
2010-06-01 Utz-Uwe HausAdd with-sat-solver and with-index-hash macros.
2010-06-01 Utz-Uwe HausAdd dimacs reader/writer
2010-06-01 Utz-Uwe HausProper garbage collection of foreign objects using...
2010-06-01 Utz-Uwe HausSWIG wrapper layer and .i file for precosat, minimalist...
2010-05-30 Utz-Uwe HausImport precosat-465r2-2ce82ba-100514
2010-05-30 Utz-Uwe HausInitial layout