Mauricio Toro wrote: > I need to write this predicate in gecode: > > IntVar x; > SetVar S; > > x \in S > > How can I do it?
rel(space, s, SRT_SUP, x);
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
