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