mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

list[ExprRef] doesn't build for python

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-04-05 14:45:52 -07:00
parent 2b6055040b
commit 0b7a81b7c9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/z3/z3.py
View file

@ -1533,7 +1533,7 @@ def RealVar(idx: int, ctx=None) -> ExprRef:
""" """
return Var(idx, RealSort(ctx)) return Var(idx, RealSort(ctx))
def RealVarVector(n: int, ctx= None) -> list[ExprRef]: def RealVarVector(n: int, ctx= None):
""" """
Create a list of Real free variables. Create a list of Real free variables.
The variables have ids: 0, 1, ..., n-1 The variables have ids: 0, 1, ..., n-1