Method set

lean_py/z3/solver.py:564–566

Set solver options (no-op — Lean solver has no tunable parameters).

(self, *args: Any, **keys: Any)

    insert = add

    def set(self, *args: Any, **keys: Any) -> None:
        """Set solver options (no-op — Lean solver has no tunable parameters)."""
        pass

    def push(self) -> None:
        self._stack.append(len(self._assertions))