repo.or.cz / cl-satwrap.git / tags
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork

cl-satwrap.git
2 years ago picosat-913   | commit | log
2 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