Re: Possible bug with -ve domains in ic

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Fri 22 Nov 2002 01:11:33 PM GMT
Message-ID: <20021122131133.N20736@tempest.icparc.ic.ac.uk> 
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.

Cheers,
Warwick
Received on Fri Nov 22 13:11:34 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:19 PM GMT GMT