description | Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace |
owner | lisp@uuhaus.de |
last change | Tue, 31 May 2016 09:02:26 +0000 (31 11:02 +0200) |
URL | git://repo.or.cz/cl-satwrap.git |
https://repo.or.cz/cl-satwrap.git | |
push URL | ssh://repo.or.cz/cl-satwrap.git |
https://repo.or.cz/cl-satwrap.git (learn more) | |
bundle info | cl-satwrap.git downloadable bundles |
content tags |
7 years ago | picosat-965 | commitlog | ||
13 years ago | picosat-913 | commitlog | ||
13 years ago | precosat-465r2 | commitlog |
7 years ago | master | logtree |
7 years ago | picosat-backend | logtree |
13 years ago | minisat-backend | logtree |