标签: python-2.7 z3py
我试图使用X[i][j]作为索引,但我收到此错误:
X[i][j]
TypeError:对象不能解释为索引。
我们可以将对象转换为整数,以便它可以用作索引吗?
我的代码: 我正在创建z3py约束:
z_c = [Z[i][j] == Y[i][X[i][j]] for i in range(3) for j in range(3)]