Rene Gonzalez wrote: > Need help with > > X(0)=1 --> Y(0,1) = 1 > X(1)=3 --> Y(1,3) = 1 > X(2)=4 --> Y(2,4) = 1 > X(3)=1 --> Y(3,1) = 1 You can use reified constraints. Please check the documentation. Cheers, Guido