MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / __init__

Method __init__

lean_py/z3/solver.py:1044–1045  ·  view source on GitHub ↗
(self, data: dict | None = None)

Source from the content-addressed store, hash-verified

1042 """Solver statistics."""
1043
1044 def __init__(self, data: dict | None = None) -> None:
1045 self._data = data or {}
1046
1047 def __len__(self) -> int:
1048 return len(self._data)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected