我已经尝试过IBM约束编程优化器，但只有64位整数。
是的。 Exact 是具有任意精度整数的整数规划求解器。它支持乘法。
您可以在组合编程语言ManyWorlds的斐波那契示例中看到它的实际效果（单击示例下拉按钮）。在后端，斐波那契数列由 Exact 计算到其第 100 个值，该值超过 2^64（大多数整数限制），但它很容易更高（并且可能包含一些未知变量，使其成为搜索问题） .