less verbose
[satlib.git] / inc_solver.cc
2014-12-31 bdemskyfix bug with zombie sat solver processes
2014-12-31 bdemskybug fix
2014-12-31 bdemskyedits
2014-12-31 bdemskyAdd incremental solver class