cl-satwrap
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 http://repo.or.cz/w/cl-satwrap.git.

See also cl-cudd.


Topics: algorithm mathematics