add backend for zchaff
[satlib.git] / test_solver.cc
2014-12-31 bdemskyTest case