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

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

[cl-satwrap.git] / backends / minisat /

tree	0d46d58a0af3ad4c69bd16f74c7ca9ac159e5323

drwxr-xr-x		..
-rw-r--r--	1089	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	400	README	blob \| blame \| history \| raw
drwxr-xr-x	-	core	tree \| history
drwxr-xr-x	-	mtl	tree \| history
drwxr-xr-x	-	simp	tree \| history

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