Allow the solver to keep hot between successive calls
In some cases, it may be interesting to keep the SAT solver in a state where the heuristics is not reset at each call. As such, there is basically no difference between a restart and stopping the solver and starting it again (phase saving would be kept too). Note that is does not look to pay off for optimization but might be useful for other uses.