Используют ли Gecode и G12 (MIP) арифметику с бесконечной точностью?

Question

Я просто хочу знать, используют ли оба эти решателя MiniZinc арифметику с бесконечной точностью по умолчанию.

minizinc gecode flatzinc mzn2fzn

Источник

user10834666 26 дек '18 в 10:22

1 ответ

Решение

Другие вопросы по тегам minizinc gecode flatzinc mzn2fzn

user1351597 28 дек '18 в 02:59 2018-12-28 02:59 · Accepted Answer · 2018-12-28 02:59

Ни Gecode, ни решатели G12 не поддерживают бесконечную точность. И эти решатели, и все другие решатели MiniZinc, о которых я знаю, поддерживают только арифметику с плавающей запятой. Отчасти это связано с тем, что компилятор MiniZinc не поддерживает бесконечную точность (см. Как получить точное представление рациональных чисел с бесконечной точностью через нестандартное расширение FlatZinc?).