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
