incremental support
[satlib.git] / zchaff64 / README
2014-12-25 bdemskyInitial checkin of SAT solvers