[gecode-users] question about 'element' constraint

[Christian Schulte]

Please do so, I fixed many bugs there. But there might be still a glitch.
Please let me know how it goes.

Cheers
Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: Stefano Gualandi [mailto:gualandi at elet.polimi.it] 
Sent: Wednesday, November 16, 2005 5:00 PM
To: users at gecode.org; schulte at imit.kth.se
Subject: Re: [gecode-users] question about 'element' constraint


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