Method reset

lean_py/z3/solver.py:637–639

(self)

        return "\n".join(lines)

    def reset(self) -> None:
        self._assertions.clear()
        self._stack.clear()

    def __enter__(self) -> Solver:
        self.push()