Re: bug in ECLiPSe 4.1.0

From: Warwick Harvey <>
Date: Thu 15 Nov 2001 12:05:32 PM GMT
Message-ID: <>
On Wed, Nov 14, 2001 at 06:59:30PM -0600, Tony Kusalik wrote:
> Warwick wrote:
> > Yes, it does.  The problem is integer overflow: 220 times the default FD
> > bounds overlows a 32-bit integer.  I believe this kind of problem occurs
> > with most finite domain solvers (though that's no excuse :).
> actually, it doesn't:

[demonstration of SICStus working deleted]

Hi Tony,

Please note that I did not claim that *all* FD solvers had that problem, nor
that SICStus in particular had that problem.  And kudos to them for doing it

Received on Thu Nov 15 12:06:03 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:11 PM GMT GMT