Method add

lean_py/z3/solver.py:556–558

(self, *args: BoolRef)

        self._stack: list[int] = []

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

    # Aliases for add
    append = add