| commit | 362eaa02ebcaec94bf3dffa062bcf68eeb3acfe9 | |
| author | Utz-Uwe Haus <haus@uuhaus.de> | |
| Tue, 1 Jun 2010 08:27:31 +0000 (1 10:27 +0200) | ||
| committer | Utz-Uwe Haus <haus@uuhaus.de> | |
| Tue, 1 Jun 2010 08:27:31 +0000 (1 10:27 +0200) | ||
| tree | 271121ff695c644efe25eb6eb986a8d52e0ceb60 | treesnapshot (tar.gz zip) |
| parent | 34caa6518672010b5e65a8d18fd75c3813ceb92e | commitdiff |
SWIG wrapper layer and .i file for precosat, minimalistic generic interface
Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
14 files changed:
| .gitignore | diffblobblamehistory | |
| Makefile | [new file with mode: 0644] | blob |
| asdf-component-shared-unix-library.asd | [new file with mode: 0644] | blob |
| backend.lisp | diffblobblamehistory | |
| backends/Makefile | [new file with mode: 0644] | blob |
| backends/precosat/.gitignore | diffblobblamehistory | |
| backends/precosat/makefile.in | diffblobblamehistory | |
| backends/precosat/precosat-cffi.i | [new file with mode: 0644] | blob |
| backends/precosat/precosat_wrap.c | [new file with mode: 0644] | blob |
| backends/precosat/precosat_wrap.h | [new file with mode: 0644] | blob |
| dimacs.lisp | [new file with mode: 0644] | blob |
| package.lisp | diffblobblamehistory | |
| satwrap.asd | diffblobblamehistory | |
| satwrap.lisp | diffblobblamehistory |