条件付き範囲の合計

Question

私は、次の5つの要素を合計する必要がある条件があります。

私の条件は次のとおりです。合計（隣人（X））= 1 WRTのX、X + 1からX + 5

Equation has_1_neighbor(x); 
    has_1_neighbor(x).. Sum(x,x + 1,x+5,neighbor(x)) =e= 1; 

残念ながら、私は「式のドメインにあるXを持っている必要がありますので、本当にxに関して合計することは許されません。

誰もこのような制約を実装する方法を知っていますか？

Answer 1

xの別名を使用して、合計と方程式の両方でセットを使用できます。

エイリアスを作成するための構文は単純です：

Alias(x,xx);