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

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

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

tree	c782be2d91ba4903c5dffd21dd091e8dc27606ff

drwxr-xr-x		..
-rw-r--r--	6763	ax_pkg_swig.m4	blob \| blame \| history \| raw
-rw-r--r--	4413	check_zlib.m4	blob \| blame \| history \| raw

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