Method from_string

lean_py/z3/solver.py:666–670

Load solver from string (not supported).

(s: str)

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

    def cube(self, vars: Any = None) -> list:
        """Generate cubes (not supported)."""