| commit | d6164f46f1d0c3290d452c494197e7f1e3b1f3ad | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Thu, 3 Jun 2010 08:36:32 +0000 (3 10:36 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Thu, 3 Jun 2010 08:36:32 +0000 (3 10:36 +0200) | ||
| tree | 8d8aa8691eea955712b53d080e0a872b7ae7c66b | treesnapshot (tar.gz zip) |
| parent | 943a2420fe20186bad740005f349a0bd76602cdc | commitdiff |
New method synchronize-backend to allow incremental flushing
Avoid re-creation of the whole problem in the backend during
get-essential-variables computations, with backends that support it (like minisat)
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Avoid re-creation of the whole problem in the backend during
get-essential-variables computations, with backends that support it (like minisat)
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backend.lisp | diffblobblamehistory | |
| backends/minisat/minisat-cffi.i | diffblobblamehistory | |
| dimacs.lisp | diffblobblamehistory | |
| package.lisp | diffblobblamehistory | |
| satwrap.lisp | diffblobblamehistory |