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

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

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

tree	c1050dc4e507a0f2177c1714716719254ae8768f

drwxr-xr-x		..
-rw-r--r--	11320	Main.C	blob \| blame \| history \| raw
-rw-r--r--	175	Makefile	blob \| blame \| history \| raw
-rw-r--r--	24017	Solver.C	blob \| blame \| history \| raw
-rw-r--r--	16319	Solver.h	blob \| blame \| history \| raw
-rw-r--r--	7720	SolverTypes.h	blob \| blame \| history \| raw

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