[gecode-users] Change of behaviour since Gecode 3

[Mikael Zayenz Lagerkvist]

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



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/