[gecode-users] question about 'element' constraint

[Stefano Gualandi]

I had an "old" version: gecode-0.9.0-20050928

...ok, I'll try with a fresh version.

Stefano



On Nov 16, 2005, at 4:43 PM, Christian Schulte wrote:

> Hi,
>
> which version do you use.
>
> Christian
>
> --
> Christian Schulte, http://www.imit.kth.se/~schulte/
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On 
> Behalf
> Of Stefano Gualandi
> Sent: Wednesday, November 16, 2005 4:46 PM
> To: users at gecode.org
> Subject: [gecode-users] question about 'element' constraint
>
>
> Hi,
> I am observing a strange behavior with the element constraint with
> domain consistency, when the vector is an array of variables (i.e.,
> using doc notation: x_y0 = y1). For instance, in the attached script,
> it enlarges the domain of y1.
>
> Any hints?
>
> Please notice, that it works if we use bound consistency (ICL_BND).
>
> thanks in advance,
> Stefano
>
>