pkg.soopen package index

cask

minizincide を Homebrew Cask でインストール

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

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

インストール

追加のインストールコマンド

macOS

Homebrew Cask確認済み · 100%
brew install --cask minizincide

local Homebrew cask metadata

概要

パッケージ概要

Open-source constraint modelling language and IDE

コマンドとエイリアス

  • minizinc
  • mzn2doc

セキュリティ状態

保護ツール対応はまだ見つかっていません

minizincide に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、パッケージメタデータはここに公開されています。

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
minizincバイナリHomebrew cask バイナリminizinc
mzn2docバイナリHomebrew cask バイナリmzn2doc

鮮度

バージョンと鮮度

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

ページ生成日2026-08-04
マネージャ版2.10.0
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://github.com/MiniZinc/MiniZincIDE

インストールメタデータ

パッケージメタデータ

パッケージキーcask:minizincide
バージョン2.10.0
パッケージマネージャHomebrew Cask
パッケージマネージャページhttps://formulae.brew.sh/cask/minizincide
ホームページhttps://www.minizinc.org/index.html
リポジトリhttps://github.com/MiniZinc/MiniZincIDE
上流ドキュメントhttps://www.minizinc.org/index.html
ソースアーカイブhttps://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.0/MiniZincIDE-2.10.0-bundled.dmg
SHA-2566ebadfd37b8683c58a3faedd4a76173789fadd64229cca450438137414922f49
Bottle未記録
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

Source DatabaseHomebrew cask API
Taphomebrew/cask
Full Tokenminizincide
Names
  • MiniZincIDE
Depends On
Macos
>=: 13
Artifacts
App
1
Binary
2
Target
3
Zap
1
Deprecatedno
Disabledno

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

MacPorts94%

minizinc

sudo port install minizinc
  • installed executable or alias match
  • 一致条件: 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
Debian apt92%

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 依存関係
  • installed executable or alias match
  • 一致条件: 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
Nix92%

minizinc

nix profile install nixpkgs#minizinc
  • installed executable or alias match
  • 一致条件: 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 apt92%

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 依存関係
  • installed executable or alias match
  • 一致条件: 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
zypper92%

minizinc 2.8.7-1.6

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 依存関係
  • 2 提供
  • installed executable or alias match
  • 一致条件: Minizinc
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

パッケージグラフ

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

ソース経路

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

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

使用ソース

  • cross-ecosystem install command graph
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment