Method push

lean_py/z3/solver.py:568–569

(self)

        pass

    def push(self) -> None:
        self._stack.append(len(self._assertions))

    def pop(self, n: int = 1) -> None:
        for _ in range(n):