Method pop

lean_py/z3/solver.py:571–575

(self, n: int = 1)

        self._stack.append(len(self._assertions))

    def pop(self, n: int = 1) -> None:
        for _ in range(n):
            if not self._stack:
                raise IndexError("pop from empty solver stack")
            self._assertions = self._assertions[: self._stack.pop()]

    def num_scopes(self) -> int:
        """Return number of push scopes."""