MiniZincIDE 2.9.5

Open-source constraint modelling language and IDE

Installation

System wide:

{
  environment.systemPackages = with nix-casks.packages.${system}; [
    minizincide # MiniZincIDE
  ];
}

Home Manager:

{
  home.packages = with nix-casks.packages.${system}; [
    minizincide # MiniZincIDE
  ];
}

Package Definition

{
  "pname": "minizincide",
  "version": "2.9.5",
  "src": {
    "url": "https://github.com/MiniZinc/MiniZincIDE/releases/download/2.9.5/MiniZincIDE-2.9.5-bundled.dmg",
    "sha256": "377e919a3b553ab2a059d0cf149c4e113dc5a587f594d88a90d5c22a23a3d769"
  },
  "installPhase": [
    "mkdir -p \"$out/Applications/MiniZincIDE.app\" && cp -r \"MiniZincIDE.app\" \"$out/Applications\"",
    "mkdir -p \"$out/bin\" && ln -s \"$out/Applications/MiniZincIDE.app/Contents/Resources/minizinc\" \"$out/bin/minizinc\"",
    "mkdir -p \"$out/bin\" && ln -s \"$out/Applications/MiniZincIDE.app/Contents/Resources/mzn2doc\" \"$out/bin/mzn2doc\""
  ],
  "meta": {
    "description": "Open-source constraint modelling language and IDE",
    "homepage": "https://www.minizinc.org/index.html"
  }
}