def reset(self):
        """Reset the solver, removing any current solve."""
        if not self.request_list.conflict:
            phase = _ResolvePhase(self.request_list.requirements, solver=self)
            self.pr("resetting...")
            self._init()
            self._push_phase(phase)
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 )
Reset the solver, removing any current solve.