В MiniZinc (windows IDE) Как я могу решить: flatzinc: ошибка: переменные типа `var float 'не поддерживаются бэкэндом FD solver. Я понимаю, что мне нужен другой решатель, но не смог найти процедуру установки, и настройки dlg не работают. Кроме того, неясно, какой решатель будет работать.Как установить решатель minizinc
Решатель G12/fd не поддерживает переменные решения float. Вы находите решение G12 MIP в списке «Solver»? Если да, попробуйте и посмотрите, сможет ли он решить эту модель. Существует текст справки («Справка, Справка ...»), который может помочь вам добавить решателя, если нет.
Однако, если это нелинейная модель, G12/mip может жаловаться, и вам нужно попробовать другой решатель. Gecode и JaCoP поддерживают некоторую поддержку нелинейных моделей с плавающей запятой.
В MiniZinc 2.0 он может работать с G12/mip и нелинейной моделью, если используется флаг «-G linear»: mzn2fzn затем линеаризует нелинейные ограничения.
Большое спасибо. По какой-то причине я пропустил меню Help | Помогите. –