| 2010-06-01 | Utz-Uwe Haus | Add with-sat-solver and with-index-hash macros. Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Add dimacs reader/writer Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | Proper garbage collection of foreign objects using... Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |
| 2010-06-01 | Utz-Uwe Haus | SWIG wrapper layer and .i file for precosat, minimalistic... Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |
| 2010-05-30 | Utz-Uwe Haus | Import precosat-465r2-2ce82ba-100514 Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |
| 2010-05-30 | Utz-Uwe Haus | Initial layout Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de> |
commitcommitdifftree |