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:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: Slav [mailto:slav...@gmail.com] Sent: Wednesday, August 2, 2017 19:38 To: cschu...@kth.se Cc: users@gecode.org 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 <cschu...@kth.se <mailto:cschu...@kth.se> >: 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, cschu...@kth.se <mailto:cschu...@kth.se> Expert Researcher, SICS, cschu...@sics.se <mailto:cschu...@sics.se> From: users-boun...@gecode.org <mailto:users-boun...@gecode.org> [mailto:users-boun...@gecode.org <mailto:users-boun...@gecode.org> ] On Behalf Of Slav Sent: Tuesday, August 1, 2017 20:23 To: users@gecode.org <mailto:users@gecode.org> 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 users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
