Method parse_string

lean_py/z3/solver.py:972–973

(self, s: str)

        return list(self._premises)

    def parse_string(self, s: str) -> None:
        raise NotImplementedError("Fixedpoint SMT-LIB parsing not supported")

    def parse_file(self, path: str) -> None:
        raise NotImplementedError("Fixedpoint SMT-LIB parsing not supported")