SATCH

Sat Solver SATCH This is the source code of SATCH a SAT solver written from scratch in C. The actual version number can be found in VERSION and change ......