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	1ef74ce85523ffe2ea417b1331bee3d1e1937d04

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	-	precosat	tree \| history

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