Hi Vincent,
I just fixed your bug. We are going to release 3.0.1 tonight with the fix included. I'll put it in the trunk asap. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of Vincent Barichard Sent: Tuesday, March 24, 2009 8:50 AM To: Mikael Lagerkvist Cc: [email protected] Subject: Re: [gecode-users] Change of behaviour since Gecode 3 Hi, In my first mail, I put the smallest examples which are not solved identically. In order to make it simplier, I tried to remove as much as constraints as possible from my true test problem. In this mail, I put examples with more constraints to make the change of behaviour more obvious. The correct one is test.cc with gecode-2.2.0. Thanks for your help. Cheers, Vincent Le lundi 23 mars 2009 15:49:22 Mikael Zayenz Lagerkvist, vous avez écrit : > 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 -- Vincent Barichard Université d'Angers (LERIA) Tel: 02 41 73 52 06 Département Informatique Fax: 02 41 73 50 73 H203
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
