?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: fc13553) | patch
add missing configure.ac and ltmain.sh in minisat subtree
commit69ae7d26bc39da3d431846b37bf1431b7a0fc4ce
authorUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:11:50 +0000 (13 12:11 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Fri, 13 May 2011 10:13:18 +0000 (13 12:13 +0200)
treef87653a7af65a23caec1e5549020bc69b55aaff4tree | snapshot (tar.gz zip)
parentfc135533d5c35e523bab4b5831ecee11ae378dd9commit | diff
add missing configure.ac and ltmain.sh in minisat subtree
backends/minisat/COPYING diff | blob | blame | history
backends/minisat/INSTALL diff | blob | blame | history
backends/minisat/configure.ac [new file with mode: 0644] blob
backends/minisat/ltmain.sh [new symlink] blob
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace