Method reason_unknown

lean_py/z3/solver.py:614–616

Return reason for unknown result.

(self)

        )

    def reason_unknown(self) -> str:
        """Return reason for unknown result."""
        return "Lean proof tactics could not discharge the goal"

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