minizinc

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

Health

Risk

risk 8 low

+6 no maintainer
+2 no meta.mainProgram, 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 2d ago

Advisories

none open

Packaging

no meta.mainProgram no versionCheckHook

Packagewhat each field means

Description

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

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free