2014-12-31 | bdemsky | add backend for zchaff |
commit | commitdiff | tree |
2014-12-31 | bdemsky | commits |
commit | commitdiff | tree |
2014-12-31 | bdemsky | Incremental frontend for glucose solver |
commit | commitdiff | tree |
2014-12-31 | bdemsky | Test case |
commit | commitdiff | tree |
2014-12-31 | bdemsky | edits |
commit | commitdiff | tree |
2014-12-31 | bdemsky | factor out common constants |
commit | commitdiff | tree |
2014-12-31 | bdemsky | Add incremental solver class |
commit | commitdiff | tree |
2014-12-25 | bdemsky | Initial checkin of SAT solvers |
commit | commitdiff | tree |