用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

是的，它工作谢谢 –

回答