MiniZincIDE

Guido Tack · Среда разработки для macOS, позволяющая создавать и запускать модели ограничений MiniZinc, визуализировать решения и анализировать производительность.

CaskИнструменты разработкиЧип Apple · Intel
Главная
Источник homebrew/cask
Установки за последние 30 дней12Приложение: место 1604
Установки за последний год124Всего за 365 дней
Последняя версия2.10.131 авг. · 31 авг.
Размер загрузки63МБarm64 / x86_64 · dmg
Частота обновленийНерегулярно0 релизов за 30 дней
Репозиторий источника
homebrew/cask
Другие названия
MiniZincIDE · minizincide
Включает команды
minizinc mzn2doc
SHA-256
6ab899c06a06bd75…
Исходный код
github.com/MiniZinc/MiniZincIDE

Состав установки и удаления

  • Удалить uninstall

    Показать полное описание
    {
      "uninstall": [
        {
          "quit": "org.minizinc.MiniZincIDE"
        }
      ]
    }
  • Установить app

    Исходный файл: MiniZincIDE.app

    Указанное место назначения: /Applications/MiniZincIDE.app

    Показать полное описание
    {
      "app": [
        "MiniZincIDE.app"
      ],
      "target": "/Applications/MiniZincIDE.app"
    }
  • Установить binary

    Исходный файл: $APPDIR/MiniZincIDE.app/Contents/Resources/minizinc

    Указанное место назначения: $HOMEBREW_PREFIX/bin/minizinc

    Показать полное описание
    {
      "binary": [
        "$APPDIR/MiniZincIDE.app/Contents/Resources/minizinc"
      ],
      "target": "$HOMEBREW_PREFIX/bin/minizinc"
    }
  • Установить binary

    Исходный файл: $APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc

    Указанное место назначения: $HOMEBREW_PREFIX/bin/mzn2doc

    Показать полное описание
    {
      "binary": [
        "$APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc"
      ],
      "target": "$HOMEBREW_PREFIX/bin/mzn2doc"
    }
  • Удалить данные пользователя zap

    Показать полное описание
    {
      "zap": [
        {
          "trash": [
            "~/Library/Preferences/org.minizinc.MiniZinc IDE (bundled).plist",
            "~/Library/Saved Application State/org.minizinc.MiniZincIDE.savedState"
          ]
        }
      ]
    }