?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
tags | heads
cl-satwrap.git
8 years ago picosat-965    | commit | log
14 years ago picosat-913    | commit | log
14 years ago precosat-465r2    | commit | log
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace