repo.or.cz / cl-satwrap.git / tree
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
snapshot (tar.gz zip)
Import PicoSAT-913
-rw-r--r-- 16 .gitignore blob | blame | history | raw
-rw-r--r-- 60 Makefile blob | blame | history | raw
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd blob | blame | history | raw
-rw-r--r-- 2270 backend.lisp blob | blame | history | raw
drwxr-xr-x - backends tree | history
-rw-r--r-- 3513 dimacs.lisp blob | blame | history | raw
-rw-r--r-- 1824 package.lisp blob | blame | history | raw
-rw-r--r-- 2120 satwrap.asd blob | blame | history | raw
-rw-r--r-- 8514 satwrap.lisp blob | blame | history | raw
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace