Method __init__

lean_py/z3/core.py:4568–4569

(self, ctx: Context | None = None)

    """Dict-like parameter container for z3py compatibility."""

    def __init__(self, ctx: Context | None = None) -> None:
        self._params: dict[str, Any] = {}

    def set(self, name: str, val: Any) -> None:
        """Set a parameter value."""