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

This page is linked from: cl-cudd  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively