[gecode-users] Arithmetic element

Javier Larrosa larrosa at lsi.upc.edu
Fri Mar 20 11:19:41 CET 2015


Hi,

I am working in a scheduling problem and I need to post a constraint 
x[z]<=y, where x is an IntVarArray, z is an IntVar and y is a constant 
(but in general could be another variable).

It is close to the element constraint which allows to post the 
constraint x[z]==y. What is the best way to do it?

best,
    Javier Larrosa



More information about the users mailing list