Method add

lean_py/z3/solver.py:813–815

(self, *args: BoolRef)

        self._objectives: list[tuple[str, ExprRef]] = []

    def add(self, *args: BoolRef) -> None:
        for a in args:
            self._assertions.append(a)

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