sum multiple variables in one constraint with choco

Question

I am using choco to solve a CSP , and one of my constraints is that the sum of all my 5 variables is less than 10 . for a sum of two variables we can use the function arithm

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

but this method can't accept more variables so is there a way add this constraint ?

In answer to OP: doesn't look like it. You may have to do this outside of pure Choco. — AntonH, Jul 27 '17 at 15:17

score 2 · Accepted Answer · answered Aug 04 '17 at 12:47

2

Would the sum constraint not work for you?

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

answered Aug 04 '17 at 12:47

T. Albers

46
3

sum multiple variables in one constraint with choco

1 Answers1