Method value

lean_py/z3/solver.py:1001–1004

(self)

        )

    def value(self) -> Any:
        raise NotImplementedError(
            "Model extraction not supported: Lean cannot produce counter-models"
        )

    def as_list(self) -> list:
        return []