?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Import PicoSAT-913
[cl-satwrap.git] / backends / picosat / README
blob89d6ea5f6195617f6470b2cc50466acbf5bdf93e
1 These are the sources of the PicoSAT solver.
2 The preprocessor is not included.
3 To compile run './configure && make'.
4 The API is document in 'picosat.h'.
5 See also 'NEWS' and 'LICENSE'.
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace