code: def reset(self):
          
          if not self.request_list.conflict:
              phase = _ResolvePhase(self.request_list.requirements, solver=self)
              self.pr("resetting...")
              self._init()
              self._push_phase(phase)
docs: Reset the solver, removing any current solve.