使用 choco 在一个约束中对多个变量求和
sum multiple variables in one constraint with choco
我正在使用 choco 求解 CSP，我的限制之一是我所有 5 个变量的总和小于 10。对于两个变量的总和，我们可以使用函数 arithm
model.arithm(x1,"+",x2,"<",10).post();
但是这个方法不能接受更多的变量
那么有没有办法添加这个约束？
sum 约束对您不起作用吗？
model.sum(new IntVar[]{x1, x2, x3, x4, x5}, "<", 10).post()
我正在使用 choco 求解 CSP，我的限制之一是我所有 5 个变量的总和小于 10。对于两个变量的总和，我们可以使用函数 arithm
model.arithm(x1,"+",x2,"<",10).post();
但是这个方法不能接受更多的变量 那么有没有办法添加这个约束？
sum 约束对您不起作用吗？
model.sum(new IntVar[]{x1, x2, x3, x4, x5}, "<", 10).post()