Method lower

lean_py/z3/solver.py:1109–1110

(self)

        self._idx = idx

    def lower(self) -> Any:
        raise NotImplementedError("OptimizeObjective.lower not supported: Lean is a proof checker")

    def upper(self) -> Any:
        raise NotImplementedError("OptimizeObjective.upper not supported: Lean is a proof checker")