pkg.soopen package index

cask

使用 Homebrew Cask 安装 minizincide

查看 minizincide 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew Cask已验证 · 100%
brew install --cask minizincide

local Homebrew cask metadata

概览

软件包摘要

Open-source constraint modelling language and IDE

命令和别名

  • minizinc
  • mzn2doc

安全态势

尚未找到受保护工具覆盖

没有找到 minizincide 的匹配本地密钥处理 manifest。软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

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