Hi, Both your test-programs actually give the same result: failure. A change in propagation order can easily result in different paths to the failure, giving the seemingly different domains. See also Section 3.1.7 in "Modeling with Gecode".
Cheers, Mikael On Wed, Mar 18, 2009 at 3:22 PM, Vincent Barichard <[email protected]> wrote: > Hi, > > I noticed a change of behaviour with Gecode 3. When I run some test problems > I get a different number of propagations and different domains. Is there any > trouble in some propagators or maybe I missed something. > > I attached a small example: > > test.cc is for Gecode 2.2 > > test.cpp is for Gecode 3 > > Thanks for your help. > > Cheers, > > Vincent > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users > > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
