Method help

lean_py/z3/solver.py:680–682

Return solver help string.

(self)

        return (unknown, [])

    def help(self) -> str:
        """Return solver help string."""
        return "lean.py solver backed by Lean's grind tactic. No tunable parameters."

    def param_descrs(self) -> dict:
        """Return parameter descriptions."""