Re: bug in ECLiPSe 4.1.0

> On Wed, Nov 14, 2001 at 06:03:19PM -0600, Tony Kusalik wrote:
> > the following bug exists in ECLiPSe 4.1.0.  I was wondering if it
> > persists in later versions of ECLiPSe.
> > 
> > [eclipse 1]: use_module( library( fd ) ).
> >   . 
> >   .
> >   . 
> > 
> > [eclipse 2]: 420 #= N * 210.
> > 
> > N = 2
> > yes.
> > [eclipse 3]: 440 #= N * 220.
> > 
> > no (more) solution.
> > [eclipse 4]:
> 
> 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:

skorpio(48)% sicstus
SICStus 3.8.6 (sparc-solaris-5.7): Thu Apr  5 21:46:51 MET DST 2001
Licensed to cs.usask.ca
| ?- use_module( library( clpfd ) ).
  . 
  .
  .
 
yes
| ?- 420 #= N * 210.

N = 2 ? 

yes
| ?- 440 #= N * 220.

N = 2 ? 

yes