Re: bug in ECLiPSe 4.1.0

From: Tony Kusalik <kusalik_at_cs.usask.ca>
Date: Thu 15 Nov 2001 12:59:30 AM GMT
Message-Id: <200111150059.SAA26572@cs.usask.ca>
> 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
Received on Thu Nov 15 01:01:09 2001

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