用 choco 在一个约束中对多个变量求和答案

【问题标题】：sum multiple variables in one constraint with choco用 choco 在一个约束中对多个变量求和
【发布时间】：2017-07-27 15:09:07
【问题描述】：

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

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

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

【问题讨论】：

标签： java choco

【解决方案1】：

sum 约束不适用于您吗？

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

【讨论】：