Function BoolVector

lean_py/z3/core.py:1732–1734

Create a vector of ``sz`` boolean variables.

(prefix: str, sz: int)

def BoolVector(prefix: str, sz: int) -> list[BoolRef]:
    """Create a vector of ``sz`` boolean variables."""
    return [Bool(f"{prefix}__{i}") for i in range(sz)]


def RealVector(prefix: str, sz: int) -> list[ArithRef]: