?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Import PicoSAT-913
[cl-satwrap.git] / backends / picosat / VERSION
blobd6904a94ba91b81d3260d09a33f17979a9643f7f
1 913
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace