用choco在一個約束中求和多個變量

我使用choco來求解CSP，而我的一個約束是我所有5個變量之和小於10。兩個變量的總和，我們可以使用函數arithm用choco在一個約束中求和多個變量

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

但這種方法不能接受更多的變量所以有沒有辦法添加此約束？

在回答OP：看起來不像。你可能不得不在純Choco之外做到這一點。 – AntonH

sum約束不適合你嗎？

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

2017-08-04 12:47:41

是的，它工作謝謝 –

回答