diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 08:43:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 08:43:55 -0700 |
| commit | 12d21480de5f5434df72f577afcc7208b2dc0683 (patch) | |
| tree | 7449505bbb28794c575b163c3982d5fe88fc4b90 /src/sat/glucose/Solver.h | |
| parent | 3a1032c151360c99334c559d93b0068bf4b2a3f5 (diff) | |
| download | abc-12d21480de5f5434df72f577afcc7208b2dc0683.tar.gz abc-12d21480de5f5434df72f577afcc7208b2dc0683.tar.bz2 abc-12d21480de5f5434df72f577afcc7208b2dc0683.zip | |
Changes to Glucose to enable resetting the solver.
Diffstat (limited to 'src/sat/glucose/Solver.h')
| -rw-r--r-- | src/sat/glucose/Solver.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/glucose/Solver.h b/src/sat/glucose/Solver.h index bb4c6d0f..43053062 100644 --- a/src/sat/glucose/Solver.h +++ b/src/sat/glucose/Solver.h @@ -131,6 +131,7 @@ public: // Memory managment: // + virtual void reset(); virtual void garbageCollect(); // virtuality causes segfault for some reason void checkGarbage(double gf); void checkGarbage(); |