CL-SATWRAP is a thin generic SAT solver interface to your favorite `industrial-strength' SAT solver: Whichever code wins the next SATRace competition, it is easily glued on as a new backend, no need to change your CL code.
For a start it include PrecoSat, from http://fmv.jku.at/precosat/ and Minisat v2, from http://minisat.se/, but more backends can easily be added.
CL-SATWRAP is available under LLGPL at
See also cl-cudd.
Topics: algorithm mathematics