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