code: def reload_solver(self, constraints=None):
          
  
          if constraints is None:
              constraints = self._solver.constraints
          self._stored_solver = None
          self._solver.add(constraints)
docs: Reloads the solver. Useful when changing solver options.
  
          :param list constraints:    A new list of constraints to use in the reloaded solver instead of the current one