Описание тега flatzinc
1
ответ
Как получить точное представление рациональных чисел с бесконечной точностью через нестандартное расширение FlatZinc?
По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели MiniZinc и сохраняет его как постоянное значение с плавающей запятой в результирующей модели FlatZinc. Пример: Файл test.mzn var float: x; constraint 1.0 / 1…
19 дек '18 в 16:00
0
ответов
MiniZinc-Gurobi разные результаты по одной и той же проблеме, но с разными переменными доменами
Я студент CS, и я использую Gurobi для проекта. Я здесь, потому что столкнулся с небольшой проблемой с решателем Gurobi, используемым вместе с драйвером MiniZinc. В частности, я заметил, что Gurobi возвращает два разных решения для одной и той же за…
17 фев '19 в 15:29
2
ответа
Как распространить множество доменов int во время преобразования mzn2fzn?
У меня есть следующее MiniZinc Пример кода: include "globals.mzn"; var int: i; array[-3..3] of var set of 1..10: x; var set of 1..100: y; constraint element(i, x, y); solve satisfy; output [ show(i), "\n", show(x), "\n", show(y), "\n", ]; mzn2fzn Ко…
08 ноя '17 в 19:06
1
ответ
Решатель fzn2smt отвечает "неизвестно" на проверенных формулах
Инструмент fzn2smt позволяет решать формулы плоского цинка с помощьюYices. Когда я пытаюсь запустить его, решатель отвечаетUNKNOWNк каждой формуле я проверяю.например: ~$ java -Xmx4096M fzn2smt -ce "./yices-2.5.2/bin/yices -f" -i 2DPacking.fzn Time1…
19 сен '17 в 13:41
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
1
ответ
Что является экземпляром Option Type во время синтаксического анализа?
О типах опций в спецификации Minizinc (раздел 6.6.3) говорится: Обзор. Типы опций, определенные с помощью конструктора типов opt, определяют типы, которые могут быть или не быть там. Они похожи на типы типа "возможно" в Haskell, добавляя новое значе…
02 ноя '17 в 14:19
1
ответ
Считаются ли полуварифицированные предикаты частью стандарта?
В документации FlatZinc сказано, что только нестандартные предикаты должны быть объявлены в верхней части модели FlatZinc: Предикаты, используемые в модели, которые не являются стандартными FlatZinc, должны быть объявлены в верхней части модели Flat…
04 июн '20 в 16:49
1
ответ
овеществленные и полувещественные предикаты
Недавно я обратил внимание на то, что одна из последних версий FlatZincподдерживает полуварифицированные предикаты: Половосстановленные предикаты по сути представляют собой ограничения, которые подразумеваются логической переменной, а не эквивалентн…
04 июн '20 в 02:23
1
ответ
Как создать переработанный массив array_int_maximum в выводе Flatzinc?
Учитывая следующую программу minizinc: var 0..4: a; var 0..5: b; var -5..2: c; var -8..-3: d; var 0..8: m; var bool: r; constraint r <-> m = max([a,b,c,d]); solve satisfy; и redefinitions-2.0.mzn файл predicate array_int_maximum(var int: m, ar…
30 июн '21 в 13:59