Hi,
Unfortunately not, you will have to resort to reification to model that. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of ?????? ??????? Sent: Monday, April 17, 2017 19:41 To: users@gecode.org Subject: [gecode-users] "Mapping" constraint 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
