MiniZincIDE 2.9.3

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.3",
  "src": {
    "url": "https://github.com/MiniZinc/MiniZincIDE/releases/download/2.9.3/MiniZincIDE-2.9.3-bundled.dmg",
    "sha256": "4cfcc624d5b8354edeea7f0e9837bb1c3703be7e1922fd25800e0b81fd9e57b8"
  },
  "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"
  }
}