Method statistics

lean_py/z3/solver.py:618–620

Return solver statistics.

(self)

        return "Lean proof tactics could not discharge the goal"

    def statistics(self) -> dict:
        """Return solver statistics."""
        return {}

    def sexpr(self) -> str:
        """Return S-expression representation of assertions."""