fix bug with zombie sat solver processes
[satlib.git] / solver_interface.h
2014-12-31 bdemskyedits
2014-12-31 bdemskyfactor out common constants