learn after restart

SRI-CSL · Mar 18, 2024 · e942770 · e942770
1 parent d62a1fe
commit e942770
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/mcsat/solver.c b/src/mcsat/solver.c
@@ -2705,6 +2705,7 @@ void mcsat_solve(mcsat_solver_t* mcsat, const param_t *params, model_t* mdl, uin
       restart_resource = 0;
       luby_next(&luby);
       mcsat_request_restart(mcsat);
+      learning = true;
     }
 
     // Process any outstanding requests