Function Model

lean_py/z3/solver.py:1071–1073

Create a new (empty) model.

(ctx: Any = None)

def Model(ctx: Any = None) -> ModelRef:
    """Create a new (empty) model."""
    return ModelRef()


# ---------------------------------------------------------------------------