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

cl-satwrap.git
2 years ago master log | tree
2 years ago minisat-backend log | tree
2 years ago picosat-backend log | tree
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace