MiniZincIDE 2.9.6

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.6",
  "src": {
    "url": "https://github.com/MiniZinc/MiniZincIDE/releases/download/2.9.6/MiniZincIDE-2.9.6-bundled.dmg",
    "sha256": "8bcdea994617e51314b6b0e645581a6c5f3531ce674474af02d9b4227a6bf6e9"
  },
  "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"
  }
}