Re: [eclipse-clp-users] Large integers and delayed goals

From: Thorsten Winterer <thorsten_winterer_at_...126...>
Date: Tue, 13 Mar 2012 15:40:02 +0100
Am 13.03.2012 15:03, schrieb mskala@...206...:
> On Tue, 13 Mar 2012, Sergey Dymchenko wrote:
>> My question was more about how ECLiPSe works with large integers, not
>> about this particular problem.
>> And it's clear that if we constrain our variables to be at most 100 we
>> will not get rounding errors.
> Have you tried using fd instead of ic?  The ic solver, as a basic
> principle of its design, uses floating-point numbers internally even when
> solving integer problems.  The fd solver uses integers.  At least some of
> the integers used by the fd solver (I'm not sure if this applies
> throughout) are limited to machine words, but especially if you have a
> 64-bit machine, that may be good enough.  At least it's unlikely to have
> any rounding errors.

Alternatively, with ECLiPSe 6.1 you can use GeCode through the gfd 
library, though fd seems to be much faster for this particular problem.
Received on Tue Mar 13 2012 - 14:43:53 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST