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	e3bb4e847ba8708f8f7362b9f5e8a12167d6f03e

drwxr-xr-x		..
-rw-r--r--	42	INVENTORY	blob \| blame \| history \| raw
-rw-r--r--	562	Makefile	blob \| blame \| history \| raw
drwxr-xr-x	-	minisat	tree \| history
drwxr-xr-x	-	picosat	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