Gecode和G12（MIP）是否使用无限精度算法？

Question

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

Answer 1

Gecode和G12求解器都不支持无限精度。我知道的这些求解器和所有其他MiniZinc求解器都仅支持浮点运算。部分原因是MiniZinc编译器不支持无限精度（请参见How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?）。