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