| commit | 943a2420fe20186bad740005f349a0bd76602cdc | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 19:37:28 +0000 (2 21:37 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 2 Jun 2010 19:37:28 +0000 (2 21:37 +0200) | ||
| tree | 36b404d96caf33ea3017d8449e0c6c333d9ec258 | treesnapshot (tar.gz zip) |
| parent | b384d31c915cf99a3dc6d477ae933025ce91c3fd | commitdiff |
Add minisat backend to lisp code, make it the default
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backends/minisat/minisat-cffi.i | diffblobblamehistory | |
| backends/minisat/minisat_wrap.cc | diffblobblamehistory | |
| package.lisp | diffblobblamehistory | |
| satwrap.lisp | diffblobblamehistory |