[gecode-users] Change of behaviour since Gecode 3

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Vincent Barichard
Sent: Tuesday, March 24, 2009 8:50 AM
To: Mikael Lagerkvist
Cc: users at gecode.org
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

> 

> <Vincent.Barichard at 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

> > users at gecode.org

> > 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090324/94c97a58/attachment.htm>