Hi, Sounds like a pretty good idea. I'll leave it to Guido as the master of set variables (he is away right now).
Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Luca Di Gaspero Sent: Tuesday, October 25, 2011 12:56 PM To: users@gecode.org Subject: [gecode-users] New gecode version desiderata: channeling between set variables Hi all, would it be possible to have channeling constraints between SetVarArrays in the new gecode version. Even though they are just implemented with decomposition they would be extremely useful in modeling (and in teaching). The constraints I am thinking about are of the form: i \in SetA_j \iff j \in SetB_i which can be of course implemented through a few element() constraints, but it would be great to have a global channel(*this, Set_A, Set_B)! Thanks in advance, Luca _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
