| commit | b384d31c915cf99a3dc6d477ae933025ce91c3fd | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 14:40:50 +0000 (2 16:40 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 14:40:50 +0000 (2 16:40 +0200) | ||
| tree | 9d8731d8af048676a9469310db95c54e2f14d09c | treesnapshot (tar.gz zip) |
| parent | ec379768fafcaa8edfc90cdcbc767c604c1124a7 | commitdiff |
Minimalistic minisat header and SWIG integration
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backends/minisat/.gitignore | diffblobblamehistory | |
| backends/minisat/Makefile.am | diffblobblamehistory | |
| backends/minisat/m4/ac_pkg_swig.m4 | [new file with mode: 0644] | blob |
| backends/minisat/minisat-cffi.i | [new file with mode: 0644] | blob |
| backends/minisat/minisat_wrap.cc | [new file with mode: 0644] | blob |
| backends/minisat/minisat_wrap.h | [new file with mode: 0644] | blob |
| satwrap.asd | diffblobblamehistory |