?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add missing configure.ac and ltmain.sh in minisat subtree
[cl-satwrap.git] / backends / minisat / ltmain.sh
blob41599586bd2e24446277a1bb53d63220f2643cb2
1 /usr/share/libtool/config/ltmain.sh
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace