Method cube

lean_py/z3/solver.py:672–674

Generate cubes (not supported).

(self, vars: Any = None)

        )

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

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