2014-12-31 | bdemsky | fix bug with zombie sat solver processes | blob | commitdiff | raw |
2014-12-31 | bdemsky | bug fix | blob | commitdiff | raw | diff to current |
2014-12-31 | bdemsky | edits | blob | commitdiff | raw | diff to current |
2014-12-31 | bdemsky | Add incremental solver class | blob | commitdiff | raw | diff to current |