我如何知道z3中有多少个数组? [英] how I can to know how many values have a array in z3?

问题描述

我正在使用 Z3py 但是当我定义一个数组时

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.

推荐答案

Z3(和 SMT)中的数组具有无限大小.例如，参见 创建一个固定大小的数组并初始化它

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

这篇关于我如何知道z3中有多少个数组?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！