[gecode-users] New gecode version desiderata: channeling between set variables

[Luca Di Gaspero]

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