?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Import precosat-465r2-2ce82ba-100514
[cl-satwrap.git] / backends / INVENTORY
blob927b62258b4ad24cd6bdb2802abedf62d542401b
1 precosat is precosat-465r2-2ce82ba-100514
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace