Method maximize

lean_py/z3/solver.py:817–820

Add maximization objective (returns handle index).

(self, expr: ExprRef)

            self._assertions.append(a)

    def maximize(self, expr: ExprRef) -> int:
        """Add maximization objective (returns handle index)."""
        self._objectives.append(("max", expr))
        return len(self._objectives) - 1

    def minimize(self, expr: ExprRef) -> int:
        """Add minimization objective (returns handle index)."""