add backend for zchaff
[satlib.git] / lingeling / readme.txt
2014-12-25 bdemskyInitial checkin of SAT solvers