Automic VaultAutomic Vault

brew / 順位 4730

minizinc をインストール

minizinc のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

Automic Vault でインストール

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

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Medium-level constraint modeling language

コマンドとエイリアス

  • minizinc
  • mzn2doc

セキュリティ状態

リスクレベル: 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.

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
minizinccliglobal executable
mzn2doccliglobal executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-06-10
マネージャ版2.9.7
マネージャ更新日2026-04-30
ローカルデータok
上流current
検出された最新2.9.7

https://github.com/MiniZinc/libminizinc

  • okNo freshness warnings were generated.

インストールメタデータ

パッケージメタデータ

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

関連ツール

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

同じワークフロー

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

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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