MiniZincIDE
Guido Tack · Среда разработки для macOS, позволяющая создавать и запускать модели ограничений MiniZinc, визуализировать решения и анализировать производительность.
MiniZincIDE — приложение для Mac из категории «Инструменты разработки». Нужна macOS 12 или новее.
Описание
MiniZincIDE — настольная среда для разработки на MiniZinc, языке высокого уровня для описания задач дискретной оптимизации и удовлетворения ограничений. Этот cask Homebrew устанавливает приложение для macOS, а также инструменты командной строки minizinc и mzn2doc.
В IDE можно создавать и запускать модели, визуализировать поиск и решения, а также профилировать производительность. Модели MiniZinc используют понятные типизированные конструкции и могут запускаться с различными технологиями решателей, не привязываясь к одному решателю. В языке также есть предопределённые ограничения для выражения связей в модели.
Для установки выполните brew install --cask minizincide. Для этого cask требуется macOS 12 или новее. После установки откройте MiniZincIDE из папки «Программы» либо используйте в терминале установленные команды minizinc и mzn2doc.
MiniZincIDE — среда моделирования и разработки; доступные технологии решателей зависят от используемого решателя. На официальном сайте представлены вводные примеры и учебные материалы, в том числе руководство и учебник пользователя.
Источники: MiniZinc · Homebrew cask
Новая версия Что нового в 2.10.1 31 авг. · Редакция OpenNavo · Перевод ИИ
- ВыпускВ комплект входят IDE, компилятор и решатели.
Установка и удаление
Homebrew устанавливает приложение в папку «Программы».
Установка без Homebrew
Скачайте файл, который Homebrew использует для вашего чипа: Чип AppleIntel
SHA-256 лишь проверяет, что файл скачан полностью; это не сертификат безопасности. Посмотреть SHA-256 и адрес загрузки
$ brew uninstall --cask \minizincideОбычное удаление стирает приложение, но оставляет настройки и кеш.
$ brew uninstall --zap --cask \minizincide--zap также удаляет настройки, кеш и другие файлы из определения Homebrew. Среди них могут быть данные, общие с другими приложениями, восстановить их нельзя, и полное отсутствие следов не гарантируется.Какие файлы будут удалены
Сведения и источники
- Версия 2.10.1
- Homebrew записал её 4 сент.Разработчик выпустил её 31 авг.
Частые вопросы
Безопасно ли MiniZincIDE?
MiniZincIDE есть в официальном каталоге Homebrew и не отключено. С сентября 2026 года Homebrew отключает приложения, которые не проходят проверку Gatekeeper в macOS. При установке Homebrew сверяет файл с github.com по контрольной сумме SHA-256. За последние 30 дней его установили через Homebrew 12 раз.
Есть ли у MiniZincIDE открытый исходный код?
Исходный код MiniZincIDE открыт на GitHub (MiniZinc/MiniZincIDE) под лицензией MPL-2.0.
Как полностью удалить MiniZincIDE с Mac?
Выполните brew uninstall --cask minizincide. Команда закрывает приложение. Чтобы удалить ещё и настройки с кэшем, выполните brew uninstall --zap --cask minizincide. Так удалятся ещё 2 файла и папки, например ~/.
Работает ли MiniZincIDE на Mac с чипами Apple (M1 и новее)?
Да. Homebrew скачивает отдельные сборки для Mac с чипами Apple и с Intel. Нужна macOS 12 или новее.
Где MiniZincIDE хранит настройки и данные?
Настройки хранятся в ~/. Эти пути взяты из списка очистки Homebrew.
Какая последняя версия MiniZincIDE?
Последняя версия — 2.10.1, в Homebrew она появилась 4 сент. Чтобы обновить, выполните brew upgrade --cask minizincide.
Что ещё устанавливается вместе с MiniZincIDE?
Также добавляются 2 утилиты командной строки: minizinc и mzn2doc.