pkg.soopen package index

cask

Install minizincide with Homebrew Cask

Open-source constraint modelling language and IDE. Version 2.10.0 via Homebrew Cask; verified from local package data. Also installable with macports: sudo port install minizinc.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrew Caskverified · 100%
brew install --cask minizincide

local Homebrew cask metadata

overview

Package summary

Open-source constraint modelling language and IDE

Commands and aliases

  • minizinc
  • mzn2doc

security posture

No protected-tool coverage found yet

No matching local secret-handling manifest was found for minizincide. Package metadata is still published here so future coverage has a stable package URL.

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
minizincbinaryHomebrew cask binaryminizinc
mzn2docbinaryHomebrew cask binarymzn2doc

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04
manager version2.10.0
manager updated
local dataok
upstreamnot checked
latest detectednot detected

https://github.com/MiniZinc/MiniZincIDE

install metadata

Package metadata

Package keycask:minizincide
Version2.10.0
Package managerHomebrew Cask
Package manager pagehttps://formulae.brew.sh/cask/minizincide
Homepagehttps://www.minizinc.org/index.html
Repositoryhttps://github.com/MiniZinc/MiniZincIDE
Upstream docshttps://www.minizinc.org/index.html
Source archivehttps://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.0/MiniZincIDE-2.10.0-bundled.dmg
SHA-2566ebadfd37b8683c58a3faedd4a76173789fadd64229cca450438137414922f49
Bottlenot recorded
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

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

source database matches

Other package-manager records

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

MacPorts94%

minizinc

sudo port install minizinc
  • installed executable or alias 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
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 dependencies
  • installed executable or alias 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
Nix92%

minizinc

nix profile install nixpkgs#minizinc
  • installed executable or alias 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 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 dependencies
  • installed executable or alias 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
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 dependencies
  • 2 provides
  • installed executable or alias 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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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