how I can to know how many values have a array in z3?

问题

I am using Z3py but when I define a array

array = Array('array', IntSort(), IntSort())

I don't know how I can to know how many values have the array.

回答1:

Arrays in Z3 (and in SMT) are of unbounded size. See, for instance, Create an array with fixed size and initialize it

来源：https://stackoverflow.com/questions/59731478/how-i-can-to-know-how-many-values-have-a-array-in-z3