minizinc-ide

minizinc-ide 2.10.1 · pkgs/by-name/mi/minizinc-ide/package.nix

Health

Risk

risk 7 low

+6 no maintainer
+1 no versionCheckHook

Version

2.10.1 no newer release in its git tags

Channels

master 2.10.1 · nixos-unstable 2.10.1 · nixos-26.05 2.10.1 no channel is behind master

Hydra

succeeded 3d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

IDE for MiniZinc, a medium-level constraint modelling language

Long description

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc.

Homepage

https://www.minizinc.org/

License

MPL-2.0

Platforms

45 platforms: Linux, Darwin

Main program

MiniZincIDE

Source provenance

not set: built from source

Outputs

out