cl-satwrap.git
2010-06-02 Utz-Uwe HausImport PicoSAT-913picosat-backend
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