projects / satlib.git / shortlog
| 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 |