repo.or.cz / cl-satwrap.git / tree
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
snapshot (tar.gz zip)
fix add-formula to drop :AND and :OR-symbols before adding clauses
-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-- 3316 backend.lisp blob | blame | history | raw
drwxr-xr-x - backends tree | history
-rw-r--r-- 3596 dimacs.lisp blob | blame | history | raw
-rw-r--r-- 2263 package.lisp blob | blame | history | raw
-rw-r--r-- 2463 satwrap.asd blob | blame | history | raw
-rw-r--r-- 18116 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