Method from_file

lean_py/z3/solver.py:661–663

Load solver from file (not supported).

(filename: str)

    @staticmethod
    def from_file(filename: str) -> Solver:
        """Load solver from file (not supported)."""
        raise NotImplementedError("from_file not supported: Lean uses its own syntax, not SMT-LIB2")

    @staticmethod
    def from_string(s: str) -> Solver: