如何计算MiniZinc中下游约束中使用的数组元素子集的中间和？

Question

我有一个长度为l

的int [0,0,0,0,0]类型的数组a

我想计算在下游约束中使用奇数索引的所有元素的总和，这里有一些“伪”MiniZinc代码：

  

s = sum（i在1..l | i mod 2 == 0）（a [i]）;

     

解决maxim（s）;

如何做到这一点？

Answer 1

我不知道＆＃34;下游约束＆＃34;是，但你可以使用＆＃34;其中＆＃34;在循环中添加条件：

 constraint
     s = sum(i in 1..l where i mod 2 == 0) (a[i])
 ;