相关疑难解决方法(0)

我将创建一个固定大小的数组,并用一些值初始化它.

例如,以下C++代码:

a[0] = 10;
a[1] = 23;
a[2] = 27;
a[3] = 12;
a[4] = 19;
a[5] = 31;
a[6] = 41;
a[7] = 7;

Z3中是否有一些实用程序可以对其进行建模？