?  search:
summary | log | graphiclog1 | graphiclog2 | refs | edit | fork

5bb6e7b7e1a1d3ba4362b1467fabbf2acb70dcbd
[cl-satwrap.git] / backends / minisat / INSTALL
blob5bb6e7b7e1a1d3ba4362b1467fabbf2acb70dcbd
1 /usr/share/automake-1.10/INSTALL
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace