Create a vector of ``sz`` integer variables named prefix__0, ..., prefix__sz-1.
(prefix: str, sz: int)
| 1725 | |
| 1726 | |
| 1727 | def IntVector(prefix: str, sz: int) -> list[ArithRef]: |
| 1728 | """Create a vector of ``sz`` integer variables named prefix__0, ..., prefix__sz-1.""" |
| 1729 | return [Int(f"{prefix}__{i}") for i in range(sz)] |
| 1730 | |
| 1731 | |
| 1732 | def BoolVector(prefix: str, sz: int) -> list[BoolRef]: |