fix bug with zombie sat solver processes
[satlib.git] / test_solver.cc
2014-12-31 bdemskyupdate test case
2014-12-31 bdemskyTest case