Gecode is but one of the solvers to which Eclipse has an interface. Christian
-- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:[email protected]> [email protected] Expert Researcher, SICS, [email protected] From: Slav [mailto:[email protected]] Sent: Wednesday, August 2, 2017 19:38 To: [email protected] Cc: [email protected] Subject: Re: [gecode-users] Arbitrary big numbers? Thank for your answer :) If so, I cannot understand that <http://gki.informatik.uni-freiburg.de/teaching/ws1415/csp/csp11.pdf> "ECLiPSe Integers can be as large as fits into memory, e.g.: 123 0 -27 393423874981724" , but Wikipedia says <https://en.wikipedia.org/wiki/ECLiPSe> that: ECLiPSe interfaces to external solvers, in particular the Gecode solver library How just an interface can be able to have numbers bigger than underlying library? 2017-08-02 0:24 GMT+04:00 Christian Schulte <[email protected] <mailto:[email protected]> >: Hi, unfortunately there is no support for this. We know that this is high on the wish list of many but… I think somebody has tried, if I recall correctly, though. Guido, do you have any details. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte> Professor of Computer Science, KTH, [email protected] <mailto:[email protected]> Expert Researcher, SICS, [email protected] <mailto:[email protected]> From: [email protected] <mailto:[email protected]> [mailto:[email protected] <mailto:[email protected]> ] On Behalf Of Slav Sent: Tuesday, August 1, 2017 20:23 To: [email protected] <mailto:[email protected]> Subject: [gecode-users] Arbitrary big numbers? Hello. I am modeling algorithm to hardware mapping with Gecode. Standard Int::Limits::max is too small because I want to target systems with more than 2^31 memory. Is there a way to get use of arbitrary-precision arithmetic with Gecode or at least 64-bits integers? I know that Gecode can be built with MPIR or GMP support, but seems those are just for trigonometric operations? Thanks in advance :)
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
