Re: Possible bug with -ve domains in ic

On Fri, Nov 22, 2002 at 01:11:33PM +0000, Warwick Harvey wrote:
> On Fri, Nov 22, 2002 at 11:05:02AM +0000, Warwick Harvey wrote:
> > In any event, I had reproduced a difference between the two versions just
> > using simple labelling, but I'm yet to figure out exactly what the problem
> > is.
> 
> It appears to be a bug in the global alldifferent constraint; replacing it
> by the weak one seems to give the correct number of answers.
> 
> (I thought I'd ruled this out as the cause last night, but realised this
> morning I'd done it wrong.)
> 
> I'm now proceeding to try to nail it down further.

It was a bug in the union operation of the bitmaps used to implement holey
domains.  A fixed version of 5.5 will be available next time we have a
successful 5.5 build (next attempt currently scheduled for Tuesday).  It'll
be in the Patch directory on the FTP site.  Or you can try "5.6" (little
changed since the 5.5 release), next scheduled for a build on Monday, and
will be available in the Dev directory on the FTP site.

Cheers,
Warwick