?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix minisat compile on modern c++ compilers
[cl-satwrap.git] / backends / minisat / AUTHORS
blobe69de29bb2d1d6434b8b29ae775ad8c2e48c5391
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace