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) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.gecode.org/pipermail/users/attachments/20170417/e9069afb/attachment.html>