[gecode-users] Change of behaviour since Gecode 3

[Vincent Barichard]

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/3eb8cd25/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.cc
Type: text/x-c++src
Size: 3515 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090324/3eb8cd25/attachment.cc>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.cpp
Type: text/x-c++src
Size: 3539 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090324/3eb8cd25/attachment.cpp>