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. -- Matthew Skala mskala_at_ansuz.sooke.bc.ca People before principles. http://ansuz.sooke.bc.ca/Received on Tue Mar 13 2012 - 14:21:04 CET
This archive was generated by hypermail 2.2.0 : Wed Mar 14 2012 - 06:15:10 CET