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

Question

我正在使用 Gecode 将算法建模到硬件映射，标准Gecode ::Int::Limits太小了，至少因为我想针对内存超过 2^32 的系统。

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

我知道可以使用 MPIR或GMP支持构建 Gecode ，但似乎这些仅用于三角运算？

Answer 1

如果我正确理解Gecode 文档：

Gecode 使用的所有变量实现类型的总可用位数为 32

所以似乎没有办法用大于2147483646的值进行建模，但我仍然认为我从根本上说错了，因为建模工具包/库几乎必须有能力用比这更大的值建模。特别是，维基百科说：

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

但ECLiPSe教程代表

ECLiPSe 中的数字有多种形式：

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

我无法理解一个接口如何能够拥有比底层库更大的数字。