| commit | ec379768fafcaa8edfc90cdcbc767c604c1124a7 | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 12:01:09 +0000 (2 14:01 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 12:01:09 +0000 (2 14:01 +0200) | ||
| tree | 42a9091ff3a5fc3db0fc83163a99b398811030f4 | treesnapshot (tar.gz zip) |
| parent | d080c00740c1d903f8cc3a5a96a4833e8df7730f | commitdiff |
Autotools setup for minisat
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backends/minisat/.gitignore | [new file with mode: 0644] | blob |
| backends/minisat/AUTHORS | [new file with mode: 0644] | blob |
| backends/minisat/COPYING | [new symlink] | blob |
| backends/minisat/ChangeLog | [new file with mode: 0644] | blob |
| backends/minisat/INSTALL | [new symlink] | blob |
| backends/minisat/Makefile.am | [new file with mode: 0644] | blob |
| backends/minisat/NEWS | [new file with mode: 0644] | blob |
| backends/minisat/autogen.sh | [new file with mode: 0755] | blob |
| backends/minisat/m4/check_zlib.m4 | [new file with mode: 0644] | blob |