(self, e, extra_constraints=(), exact=None)
return self._solver.min(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
Return the minimum value of expression `e`.

        :param e                : expression (an AST) to evaluate
        :param extra_constraints: extra constraints (as ASTs) to add to the solver for this solve
        :param exact            : if False, return approximate solutions.
        :return: the minimum possible value of e (backend object)
Return the minimum value of expression `e`.
Return the minimum value of expression e .
def min(self, e, extra_constraints=(), exact=None):
        """
        Return the minimum value of expression `e`.

        :param e                : expression (an AST) to evaluate
        :param extra_constraints: extra constraints (as ASTs) to add to the solver for this solve
        :param exact            : if False, return approximate solutions.
        :return: the minimum possible value of e (backend object)
        """
        if exact is False and o.VALIDATE_APPROXIMATIONS in self.state.options:
            ar = self._solver.min(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=False)
            er = self._solver.min(e, extra_constraints=self._adjust_constraint_list(extra_constraints))
            assert ar <= er
            return ar
        return self._solver.min(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
def min ( self , e , extra_constraints = ( ) , exact = None ) : if exact is False and o . VALIDATE_APPROXIMATIONS in self . state . options : ar = self . _solver . min ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) , exact = False ) er = self . _solver . min ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) ) assert ar <= er return ar return self . _solver . min ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) , exact = exact )