Denys Duchier wrote: > I am stumped on something that is completely trivial. How do I "post" > the reified constraint (X=k)=B where X is an IntVar, k is an int and B > is a BoolVar?
Reified constraints seem to be en vogue these days ;-)
post(this, eqv(~(X == k), B));
would be one solution,
dom(this, X, k, k, B);
another.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
