From: Thorsten Winterer <thorsten_winterer_at_web.de>

Date: Tue, 13 Mar 2012 15:40:02 +0100

Date: Tue, 13 Mar 2012 15:40:02 +0100

Am 13.03.2012 15:03, schrieb mskala_at_ansuz.sooke.bc.ca: > 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
: Thu Mar 15 2012 - 06:15:49 CET
*