?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Import precosat-465r2-2ce82ba-100514
[cl-satwrap.git] / backends / precosat / README
blob2b9a4065837fbf8921aa25738b8882b797ed1baa
1 These are the sources of the SAT solver PrecoSAT.
2 To build issue
3
4 ./configure && make
5
6 for compilation options see './configure -h'.
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace