optimization - MiniZinc の下流の制約で使用する配列要素のサブセットの中間和を計算するにはどうすればよいですか?

Question

長さ l の int [0,0,0,0,0] 型の配列 a があります

奇数インデックスを持つすべての要素の合計を計算して、ダウンストリームの制約で使用したいと考えています。ここでは、「疑似」MiniZinc コードをいくつか示します。

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

最大化を解決します。

これはどのように行うことができますか？

Answer 1

「下流の制約」が何であるかはわかりませんが、「where」を使用してループに条件を追加できます。

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