def reset(self):
if not self.request_list.conflict:<EOL><INDENT>phase = _ResolvePhase(self.request_list.requirements, solver=self)<EOL>self.pr("<STR_LIT>")<EOL>self._init()<EOL>self._push_phase(phase)<EOL><DEDENT>
Reset the solver, removing any current solve.