Method __init__

lean_py/z3/tactic.py:402–403

(self, name: str = "simp")

    __slots__ = ("_name",)

    def __init__(self, name: str = "simp") -> None:
        self._name = name

    def apply(self, goal: Goal) -> ApplyResult:
        """Apply simplification to a goal (returns goal unchanged)."""