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 and Minisat v2, from, but more backends can easily be added.

CL-SATWRAP is available under LLGPL at

See also cl-cudd.

Topics: algorithm mathematics