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