[gecode-users] Help with channeling constraint

[Guido Tack]

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