你能使用任意精度算术吗？

Question

我使用 Gecode 建模算法到硬件映射，标准 Gecode :: Int :: Limits 太小，至少因为我想要定位超过2的系统^ 32记忆。

有没有办法在Gecode或至少64位整数中使用任意精度算术？

我知道Gecode可以使用 MPIR 或 GMP 支持构建，但似乎这些只适用于三角函数？

Answer 1

如果我理解Gecode documentation：

  

Gecode使用的所有变量实现类型的完全可用位数是32

所以似乎无法使用大于 2147483646 的值进行建模，但我仍然认为我对某些内容存在根本错误，因为它对于建模工具包几乎是必须的/库可以使用大于该值的值进行建模。特别是Wikipedia says：

  

ECLiPSe与外部解算器的接口，特别是...和Gecode求解器库

但ECLiPSe tutorial代表

  

ECLiPSe中的数字有多种形式：

     

  
• 整数可以与内存一样大，例如：   123 0 -27 393423874981724
  

我无法理解只是一个接口能够使数字大于底层库。