repo.or.cz / cl-satwrap.git / tree
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
snapshot (tar.gz zip)
messing with default test predicate in macro again
-rw-r--r-- 26 .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-- 3498 backend.lisp blob | blame | history | raw
drwxr-xr-x - backends tree | history
-rw-r--r-- 3618 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-- 18352 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