MiniZincIDE

Guido Tack · Entorno de desarrollo para macOS con el que escribir y ejecutar modelos de restricciones MiniZinc, visualizar resultados y analizar el rendimiento.

CaskHerramientas de desarrolloChip Apple · Intel

Inicio

De homebrew/cask

Instalaciones en los últimos 30 días12Puesto 1584 en Apps

Instalaciones del último año124Total de los últimos 365 días

Última versión2.10.131 ago · 31 ago

Tamaño de descarga63MBarm64 / x86_64 · dmg

Frecuencia de actualizaciónIrregular0 versiones en 30 días

Repositorio de origen: homebrew/cask
Otros nombres: MiniZincIDE · minizincide
Comandos incluidos: minizinc mzn2doc
URL de descarga: github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-aarch64-apple-darwin.dmg
SHA-256: 6ab899c06a06bd75…
Archivo de definición de Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/m/minizincide.rb
formulae.brew.sh: formulae.brew.sh/cask/minizincide
Código fuente: github.com/MiniZinc/MiniZincIDE

Contenido de instalación y desinstalación

Desinstalar uninstall

Ver declaración completa

{
  "uninstall": [
    {
      "quit": "org.minizinc.MiniZincIDE"
    }
  ]
}

Instalar app
Archivo de origen: MiniZincIDE.app
Destino declarado: /Applications/MiniZincIDE.app
Ver declaración completa
```
{
  "app": [
    "MiniZincIDE.app"
  ],
  "target": "/Applications/MiniZincIDE.app"
}
```
Instalar binary
Archivo de origen: $APPDIR/MiniZincIDE.app/Contents/Resources/minizinc
Destino declarado: $HOMEBREW_PREFIX/bin/minizinc
Ver declaración completa
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/minizinc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/minizinc"
}
```
Instalar binary
Archivo de origen: $APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc
Destino declarado: $HOMEBREW_PREFIX/bin/mzn2doc
Ver declaración completa
```
{
  "binary": [
    "$APPDIR/MiniZincIDE.app/Contents/Resources/mzn2doc"
  ],
  "target": "$HOMEBREW_PREFIX/bin/mzn2doc"
}
```

Eliminar datos de usuario zap

Ver declaración completa

{
  "zap": [
    {
      "trash": [
        "~/Library/Preferences/org.minizinc.MiniZinc IDE (bundled).plist",
        "~/Library/Saved Application State/org.minizinc.MiniZincIDE.savedState"
      ]
    }
  ]
}