(self, constraints=None)
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
Reloads the solver. Useful when changing solver options.
Reloads the solver . Useful when changing solver options .
def reload_solver(self, constraints=None):
        """
        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
        """

        if constraints is None:
            constraints = self._solver.constraints
        self._stored_solver = None
        self._solver.add(constraints)
def reload_solver ( self , constraints = None ) : if constraints is None : constraints = self . _solver . constraints self . _stored_solver = None self . _solver . add ( constraints )