Am I right in thinking that: Gecode.post(space, BExpr(ivar1, IntRelType.IRT_EQ, ivar2));
will only use bounds consistency between ivar1 and ivar2? Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
