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 <vincent.barich...@univ-angers.fr> 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 > us...@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users > > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
