2014-12-31 | bdemsky | fix bug with zombie sat solver processes | commit | commitdiff |
2014-12-31 | bdemsky | bug fix | commit | commitdiff |
2014-12-31 | bdemsky | edits | commit | commitdiff |
2014-12-31 | bdemsky | Add incremental solver class | commit | commitdiff |