chocoを使用して1つの制約内で複数の変数を合計

私はchocoを使ってCSPを解くことができます。私の制約の1つは、私の5つの変数の合計が10未満です。 2つの変数の和のために、我々は、機能arithmchocoを使用して1つの制約内で複数の変数を合計

model.arithm(x1,"+",x2,"<",10).post();

を使用することができますが、この方法は、複数の変数を受け入れることができないので、この制約を追加そこの方法は何ですか？

OPの回答：それはそうではありません。純粋なチョコの外でこれをしなければならないかもしれません。 – AntonH

sumの制約はうまくいかないでしょうか？

model.sum(new IntVar[]{x1, x2, x3, x4, x5}, "<", 10).post()

2017-08-04 12:47:41

はいそれは働いたありがとう –

答えて