Как установить минизинк решатель

Question

Как установить минизинк решатель

В MiniZinc (Windows IDE) Как я могу решить: flatzinc: error: переменные типа `var float'не поддерживаются бэкэндом решателя FD. Я понимаю, что мне нужен другой решатель, но я не смог найти процедуру установки, и dlg Preferences, кажется, не работает. Кроме того, не ясно, какой решатель будет работать.

4

minizinc sat-solvers

Источник

user2518213 31 янв '15 в 15:36

1 ответ

Решение

Другие вопросы по тегам minizinc sat-solvers

user195636 01 фев '15 в 08:22 2015-02-01 08:22 · Accepted Answer · 2015-02-01 08:22

Решатель G12/fd не поддерживает переменные решения с плавающей точкой. Находите ли вы G12 MIP solver в списке "Solver"? Если так, попробуйте это и посмотрите, может ли это решить модель. Существует текст справки ("Справка, Справка..."), который может помочь вам добавить решатель, если нет.

Однако, если это нелинейная модель, то G12/mip может пожаловаться, и вам придется попробовать другой решатель. Gecode и JaCoP имеют некоторую поддержку нелинейных моделей с плавающей точкой.

В MiniZinc 2.0 он может работать с G12/mip и нелинейной моделью, если используется флаг "-G linear": тогда mzn2fzn будет линеаризовать нелинейные ограничения.