Hello everyone, I was studying the DivBnd propagator, and in my opinion, there could be performed some propagation more tight.
It is in method DivBnd<View>::propagate(Space& home, const ModEventDelta&). In section prop_xpx: starting at line 242 of divmod.hpp file (Gecode 3.1.0 and also trunk) at line 246: GECODE_ME_CHECK(x0.gq(home, m<double>(x1.max(),x2.min()-1))); Is it possible to rewrite this propagation to GECODE_ME_CHECK(x0.gq(home, m<double>(x1.max(),x2.min()))); ? I am not sure I did not overlooked something. A minor remark: in file divmod.hpp at line 173 should be probably different comment. Cheers, Jan _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users