Gecode 和 G12 (MIP) 是否使用无限精度算法？

Question

我只想知道这两个 MiniZinc 求解器是否默认使用无限精度算法。

Answer 1

Gecode 和 G12 求解器都不支持无限精度。这些求解器和我所知道的所有其他 MiniZinc 求解器都只支持浮点运算。这部分是因为 MiniZinc 编译器不支持无限精度（参见 ）。