使用choco对一个约束中的多个变量求和

Question

我正在使用choco来解决CSP，我的一个限制是我所有5个变量的总和小于10。对于两个变量的总和，我们可以使用函数arithm

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

但是这种方法不能接受更多的变量 那么有没有办法添加这个约束？

Answer 1

Would the sum constraint not work for you?

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