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

Question

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

Answer 1

Gecode 和 G12 求解器都不支持无限精度。这些求解器和我知道的所有其他 MiniZinc 求解器都只支持浮点运算。这部分是因为 MiniZinc 编译器不支持无限精度（请参阅如何通过非标准 FlatZinc 扩展获得有理数的精确无限精度表示？）。