Public Git Hosting - cl-satwrap.git/blob - backends/minisat/COPYING

summary | log | graphiclog1 | graphiclog2 | refs | edit | fork

0b6cbf81b4a137698c420b66afd6ed6db14f2201

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

blob	0b6cbf81b4a137698c420b66afd6ed6db14f2201

1 /usr/share/automake-1.10/COPYING

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