Public Git Hosting - cl-satwrap.git/tree - backends/

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

[cl-satwrap.git] / backends /

tree	2b1889b9465e98fc0def1e011a6d338347850b62

drwxr-xr-x		..
-rw-r--r--	42	INVENTORY	blob \| blame \| history \| raw
-rw-r--r--	616	Makefile	blob \| blame \| history \| raw
drwxr-xr-x	-	minisat	tree \| history
drwxr-xr-x	-	precosat	tree \| history

Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace