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?
Cheers, --Denys _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users