Method consequences

lean_py/z3/solver.py:676–678

Compute consequences (not supported).

(self, assumptions: list, variables: list)

        return []

    def consequences(self, assumptions: list, variables: list) -> tuple:
        """Compute consequences (not supported)."""
        return (unknown, [])

    def help(self) -> str:
        """Return solver help string."""