cl-satwrap.git
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