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, [email protected] Expert Researcher, RISE SICS, [email protected] From: [email protected] [mailto:[email protected]] On Behalf Of ?????? ??????? Sent: Monday, April 17, 2017 19:41 To: [email protected] 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
