?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update to newer libtool, keep in-tree
[cl-satwrap.git] / backends / minisat / m4 / libtool.m4
blobf3504e92b3f7181d6362a813917fa4e401163e52
1 /usr/share/aclocal/libtool.m4
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace