Automic VaultAutomic Vault

brew / rang 4730

Installer minizinc

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de minizinc pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Installer avec Automic Vault

Automic Vault
Télécharger AV
sudo av install brew:minizinc

macOS

Homebrewverified · 100%
brew install minizinc

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install minizinc

MacPorts ports tree · devel/minizinc/Portfile · source: api.github.com

Linux

Debian aptverified · 92%
sudo apt install minizinc

Debian stable package indexes · minizinc · source: deb.debian.org

Nixverified · 92%
nix profile install nixpkgs#minizinc

nixpkgs package indexes · pkgs/by-name/mi/minizinc/package.nix · source: api.github.com

openSUSE zypperverified · 92%
sudo zypper install minizinc

openSUSE Tumbleweed package metadata · minizinc · source: download.opensuse.org

Notes de plateforme

  • Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Medium-level constraint modeling language

Commandes et alias

  • minizinc
  • mzn2doc

posture de sécurité

Niveau de risque : green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 6 runtime dependencies.
  • Build metadata lists 1 build dependencies.

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

CommandeTypeExpositionNote
minizinccliglobal executable
mzn2doccliglobal executable

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-06-10
version du gestionnaire2.9.7
gestionnaire mis à jour2026-04-30
données localesok
amontcurrent
dernière version détectée2.9.7

https://github.com/MiniZinc/libminizinc

  • okNo freshness warnings were generated.

métadonnées d'installation

Métadonnées du paquet

Package keybrew:minizinc
Version2.9.7
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/minizinc
Homepagehttps://www.minizinc.org/
Repositoryhttps://github.com/MiniZinc/libminizinc
Upstream docshttps://docs.minizinc.dev/en/stable
LicenseMPL-2.0
Source archivehttps://github.com/MiniZinc/libminizinc/archive/refs/tags/2.9.7.tar.gz
Last updated2026-04-30T06:39:09Z
Pulseupdated
Dependenciescbc, cgl, clp, coinutils, gecode, osi
Build dependenciescmake
Bottleavailable (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameminizinc
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Debian apt95%

minizinc 2.9.2+dfsg1-1

constraint modelling language and tool chain

https://www.minizinc.org/

sudo apt install minizinc
  • Section: devel
  • Architecture: amd64
  • 16 dependencies
  • normalized package name match
  • Matched by: Minizinc
Debian stable package indexes · deb.debian.org · Debian stable package indexes: minizinc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

minizinc

nix profile install nixpkgs#minizinc
  • normalized package name match
  • Matched by: Minizinc
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/mi/minizinc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

minizinc 2.8.2+dfsg1-1build2

constraint modelling language and tool chain

https://www.minizinc.org/

sudo apt install minizinc
  • Section: universe/devel
  • Architecture: amd64
  • 7 dependencies
  • normalized package name match
  • Matched by: Minizinc
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: minizinc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
zypper95%

minizinc 2.8.7-1.4

A high-level constraint modelling language

https://www.minizinc.org/

sudo zypper install minizinc
  • License: MPL-2.0
  • Category: Productivity/Scientific/Math
  • Architecture: x86_64
  • Source Package: libminizinc
  • 14 dependencies
  • 2 provides
  • normalized package name match
  • Matched by: Minizinc
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst
MacPorts95%

minizinc

sudo port install minizinc
  • normalized package name match
  • Matched by: Minizinc
MacPorts ports tree · api.github.com · MacPorts ports tree: devel/minizinc/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

Outils liés

  • cbcRuntime dependency declared by Homebrew.
  • clpRuntime dependency declared by Homebrew.
  • gecodeRuntime dependency declared by Homebrew.
  • cmakeBuild dependency declared by Homebrew.

Même workflow

  • scipShares av.db curated category or tags: cli, constraint-programming, optimization, science.
  • ipoptShares av.db curated category or tags: cli, optimization, science.
  • glpkShares av.db curated category or tags: cli, optimization, science.
  • or-toolsShares av.db curated category or tags: cli, optimization, science.
  • papiloShares av.db curated category or tags: cli, optimization, science.
  • soplexShares av.db curated category or tags: cli, optimization, science.

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.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment