小编pan*_*aos的帖子

我想使用 Int 向量作为数组索引。

Python。

array = [12,45,66,34]
s= Solver()
x = Int('x')
s.add(array[x] == 66)

所以 x 应该是 2..

我该怎么做？