| commit | 4babcdc1ae770f2f2f96e53f45197f7a8efc5707 | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 15 Jun 2010 15:03:09 +0000 (15 17:03 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 15 Jun 2010 15:03:09 +0000 (15 17:03 +0200) | ||
| tree | fa6149776fb2650c5973b3d087d78004d354041b | treesnapshot (tar.gz zip) |
| parent | ba6b2d2bf40fa2f7a679fe3731f8f3484aa568d8 | commitdiff |
(minisat backend ) Return number of queued assumptions from add_assumption
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backends/minisat/minisat_wrap.cc | diffblobblamehistory | |
| backends/minisat/minisat_wrap.h | diffblobblamehistory |