macOS
Homebrewvérifié · 100%
brew install minizinclocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install minizincMacPorts ports tree · devel/minizinc/Portfile · Source: api.github.com
brew
Installer minizinc avec Homebrew, apt, MacPorts, Nix, zypper
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de minizinc pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install minizincDebian stable package indexes · minizinc · Source: deb.debian.org
Nixvérifié · 92%
nix profile install nixpkgs#minizincnixpkgs package indexes · pkgs/by-name/mi/minizinc/package.nix · Source: api.github.com
openSUSE zyppervérifié · 92%
sudo zypper install minizincopenSUSE Tumbleweed package metadata · minizinc · Source: download.opensuse.org
aperçu
Résumé du paquet
Medium-level constraint modeling language
Liens du projet
Commandes et alias
- minizinc
- mzn2doc
historique
Historique du projet et usages
MiniZinc is a free and open-source constraint modeling language for expressing constraint satisfaction and discrete optimization problems in a high-level, solver-independent form. The project is developed at Monash University with support from OPTIMA, and the libminizinc repository describes the compiler as translating MiniZinc models into FlatZinc, a solver input language understood by a wide range of solvers.
Historique du projet
Its origins are unusually well documented. A history paper by Peter J. Stuckey, Guido Tack, and Maria Garcia de la Banda says MiniZinc was introduced in the CP2007 paper "MiniZinc: Towards a Standard CP Modelling Language" as a response to the lack of a common constraint-programming modeling language. The paper traces the language back to the G12 project, started in 2005, and to Zinc: MiniZinc was created as a stripped-down version of Zinc that compiled a model plus data instance into FlatZinc. The first MiniZinc version, 0.6, was released on September 23, 2007, the first day of CP2007.
Historique d'adoption
Technically, MiniZinc's major contribution is the separation between modeling and solving. Modelers write .mzn models with parameters, decision variables, global constraints, and objectives; the minizinc compiler flattens a particular model/data pair into FlatZinc or another solver-facing form. That lets users try different solvers from the same model, while solver authors can support MiniZinc by providing FlatZinc interfaces and global-constraint definitions.
Modes d'utilisation
Adoption is tied strongly to the constraint-programming research and optimization communities. The MiniZinc Challenge has run every year since 2008 to compare constraint solvers on shared benchmarks, and the history paper notes that the challenge encouraged solver implementers to provide compliant FlatZinc interfaces while building a public benchmark library. The same paper cites deployed and applied MiniZinc use in ship scheduling, optimization consulting, mission planning, automated configuration, cloud deployment, mobile robot planning, building automation, data acquisition, and preference elicitation. In Homebrew, the formula brings in solver-related dependencies such as Gecode and COIN-OR components, reflecting the package's role as a modeling frontend plus compiler rather than a single solver.
Sources
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 6 dépendances d’exécution.
- Les métadonnées de compilation listent 1 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
minizinc | cli | exécutable global | |
mzn2doc | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-26
version du gestionnaire2.10.0
gestionnaire mis à jour2026-07-23
données localesOK
amontà jour
dernière version détectée2.10.0
https://github.com/MiniZinc/libminizinc
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:minizinc |
|---|---|
| Version | 2.10.0 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/minizinc |
| Page d'accueil | https://www.minizinc.org/ |
| Dépôt | https://github.com/MiniZinc/libminizinc |
| Docs amont | https://docs.minizinc.dev/en/stable |
| Licence | MPL-2.0 |
| Archive source | https://github.com/MiniZinc/libminizinc/archive/refs/tags/2.10.0.tar.gz |
| Dernière mise à jour | 2026-07-23T09:38:26Z |
| Pulse | updated |
| Dépendances | cbc, cgl, clp, coinutils, gecode, osi |
| Dépendances de compilation | cmake |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | minizinc |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Debian apt95%
minizinc 2.9.2+dfsg1-1
constraint modelling language and tool chain
sudo apt install minizinc- Section: devel
- Architecture: amd64
- 16 Dépendances
- normalized package name match
- Correspondance par : Minizinc
Nix95%
minizinc
nix profile install nixpkgs#minizinc- normalized package name match
- Correspondance par : Minizinc
Ubuntu apt95%
minizinc 2.8.2+dfsg1-1build2
constraint modelling language and tool chain
sudo apt install minizinc- Section: universe/devel
- Architecture: amd64
- 7 Dépendances
- normalized package name match
- Correspondance par : Minizinc
zypper95%
minizinc 2.8.7-1.4
A high-level constraint modelling language
sudo zypper install minizinc- License: MPL-2.0
- Category: Productivity/Scientific/Math
- Architecture: x86_64
- Source Package: libminizinc
- 14 Dépendances
- 2 fournit
- normalized package name match
- Correspondance par : Minizinc
MacPorts95%
minizinc
sudo port install minizinc- normalized package name match
- Correspondance par : Minizinc
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment