Automic VaultAutomic Vault

brew / Rang 4730

minizinc installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für minizinc in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Mit Automic Vault installieren

Automic Vault
AV herunterladen
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

Plattformhinweise

  • Es waren keine paketspezifischen Plattformhinweise vorhanden.

Überblick

Paketzusammenfassung

Medium-level constraint modeling language

Befehle und Aliase

  • minizinc
  • mzn2doc

Sicherheitslage

Risikostufe: 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.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
minizinccliglobal executable
mzn2doccliglobal executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-06-10
Manager-Version2.9.7
Manager aktualisiert2026-04-30
lokale Datenok
Upstreamcurrent
neueste erkannte Version2.9.7

https://github.com/MiniZinc/libminizinc

  • okNo freshness warnings were generated.

Installationsmetadaten

Paketmetadaten

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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

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

Gleicher 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.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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