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 right. Cheers, WarwickReceived 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