diff options
| -rw-r--r-- | src/sat/bsat/satSolver.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 168c8bf7..0a7cb1c7 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1092,11 +1092,14 @@ void sat_solver_rollback( sat_solver* s ) s->hBinary = Sat_MemAppend( &s->Mem, NULL, 2, 0 ); s->binary = clause_read( s, s->hBinary ); + veci_resize(&s->act_clas, 0); veci_resize(&s->trail_lim, 0); veci_resize(&s->order, 0); for ( i = 0; i < s->size*2; i++ ) s->wlists[i].size = 0; + s->nLearntMax = s->nLearntStart; + // initialize other vars s->size = 0; // s->cap = 0; |