[gecode-users] BExprs and IntConLevel
Malcolm Ryan
malcolmr at cse.unsw.edu.au
Mon Apr 21 10:19:05 CEST 2008
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
More information about the gecode-users
mailing list