Описание тега mzn2fzn

Вопросы с тегом
1 ответ

Как получить точное представление рациональных чисел с бесконечной точностью через нестандартное расширение FlatZinc?

По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели MiniZinc и сохраняет его как постоянное значение с плавающей запятой в результирующей модели FlatZinc. Пример: Файл test.mzn var float: x; constraint 1.0 / 1…
19 дек '18 в 16:00
1 ответ

Минимальное и максимальное значения с плавающей точкой в ​​MiniZinc

Из спецификации MiniZinc: Поплавки представляют собой действительные числа. Представления с плавающей точкой определяются реализацией. Это означает, что представимый диапазон и точность значений с плавающей точкой определяются реализацией. Однако ре…
09 янв '19 в 10:46
1 ответ

Каковы эти ограничения `float_div` и`float_times` в файле FlatZinc?

Я просто пытался бежать mzn2fzn поверх следующего файла MiniZinc: var float: x1; var float: y1; var float: x2; var float: y2; constraint (x1 / y1) = 6.0; constraint x2 * y2 <= 5.0; solve satisfy; Это результирующий файл FlatZinc: var -1.797693134…
20 дек '18 в 23:50
1 ответ

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

Я просто хочу знать, используют ли оба эти решателя MiniZinc арифметику с бесконечной точностью по умолчанию.
26 дек '18 в 10:22