В MiniZinc (windows IDE) Как я могу решить: flatzinc: ошибка: переменные типа `var float 'не поддерживаются бэкэндом FD solver. Я понимаю, что мне нужен другой решатель, но не смог найти процедуру установки, и настройки dlg не работают. Кроме того, неясно, какой решатель будет работать.Как установить решатель minizinc
2
A
ответ
1
Решатель G12/fd не поддерживает переменные решения float. Вы находите решение G12 MIP в списке «Solver»? Если да, попробуйте и посмотрите, сможет ли он решить эту модель. Существует текст справки («Справка, Справка ...»), который может помочь вам добавить решателя, если нет.
Однако, если это нелинейная модель, G12/mip может жаловаться, и вам нужно попробовать другой решатель. Gecode и JaCoP поддерживают некоторую поддержку нелинейных моделей с плавающей запятой.
В MiniZinc 2.0 он может работать с G12/mip и нелинейной моделью, если используется флаг «-G linear»: mzn2fzn затем линеаризует нелинейные ограничения.
Смежные вопросы
- 1. Застрял, создав решатель Tetris в Minizinc
- 2. Как оптимизировать это приложение MiniZinc?
- 3. SCIP-решатель JNI: как установить память?
- 4. Minizinc массив сортировки
- 5. Расписание minizinc no overlapping
- 6. Minizinc inested for loop
- 7. Множественный выход под minizinc
- 8. Minizinc no output
- 9. Пролог решатель
- 10. Minizinc: создать массив Int пар
- 11. Максимальное количество последовательных значений (Minizinc)
- 12. Как квантификации всех подмножеств в MiniZinc
- 13. Как использовать предикат именно в MiniZinc
- 14. MiniZinc «не может определять границы»
- 15. Предоставить начальное решение в MiniZinc
- 16. Вызов модели Minizinc от Java
- 17. MiniZinc объединить массивы переменных индекса
- 18. minizinc: найти элемент в аранжировке
- 19. Ограничения мощности (pow) в minizinc
- 20. Ограничения Minizinc из другого массива
- 21. Minizinc: возможно ли это ограничение?
- 22. Решение струнные ограничения в MiniZinc
- 23. Полиномиальный решатель для iOS?
- 24. Matlab вырожденной матрицы решатель
- 25. Решатель ODE в F90
- 26. Numpy решатель: максимальное значение
- 27. Квадратичный полиномиальный решатель C
- 28. Анализ чувствительности решатель питон
- 29. Java обучения лабиринтом решатель
- 30. Решатель разрешенной матрицы диагоналей
Большое спасибо. По какой-то причине я пропустил меню Help | Помогите. –