| 2016-05-30 | Utz-Uwe Haus | Import PicoSAT-965 Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-02 | Utz-Uwe Haus | Import PicoSAT-913 Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-02 | Utz-Uwe Haus | Fix first line in dimacs format export Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-02 | Utz-Uwe Haus | Import minisat2-070721 Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Really fix memory issue: Precosat Solver->reset() was... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Fix with-index-hash Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Properly dispose of precosat objects. |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Add get-essential-variables implementation. Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de> |
commitcommitdifftree |