Is there are any solution for such a constraint: for 2 integer Arrays of the same size
x_i = x_j => y_i = y_j in other words, there is an integer function such x = f(y)
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
