I am wondering if there is any native support for the following constraint
x \in { i such that y[i]=TRUE }
in Gecode. In other words, I would like to ensure that x is an index of a
true variable in the vector y.
In the global constraint catalog, this looks like a domain_constraint, and
there is a reference to "in" in Gecode, but I cannot find a matching
definition of the "in" constraint.
Am I overlooking something?
Grateful for help,
JC
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
