Public Git Hosting - cl-satwrap.git/tree

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)

tree	b7d9488db92f769bd9dd62baf4a03b35a9d4b989

-rw-r--r--	10	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	1314	backend.lisp	blob \| blame \| history \| raw
drwxr-xr-x	-	backends	tree \| history
-rw-r--r--	1388	package.lisp	blob \| blame \| history \| raw
-rw-r--r--	1456	satwrap.asd	blob \| blame \| history \| raw
-rw-r--r--	3885	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