[gecode-users] Arbitrary big numbers?

[Christian Schulte]

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:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS, cschulte at sics.se

 

From: Slav [mailto:slavmfm at gmail.com] 
Sent: Wednesday, August 2, 2017 19:38
To: cschulte at kth.se
Cc: users at 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 <cschulte at kth.se <mailto:cschulte at 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, cschulte at kth.se <mailto:cschulte at kth.se> 

Expert Researcher, SICS, cschulte at sics.se <mailto:cschulte at sics.se> 

 

From: users-bounces at gecode.org <mailto:users-bounces at gecode.org>  [mailto:users-bounces at gecode.org <mailto:users-bounces at gecode.org> ] On Behalf Of Slav
Sent: Tuesday, August 1, 2017 20:23
To: users at gecode.org <mailto:users at 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 :)

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170802/7038e91b/attachment.html>