# Install minizinc

Medium-level constraint modeling language. Version 2.9.7 via Homebrew; verified 2026-04-30.

## Install

```sh
sudo av install brew:minizinc
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install minizinc
```

  Evidence: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install minizinc
```

  Evidence: MacPorts ports tree: devel/minizinc/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install minizinc
```

  Evidence: Debian stable package indexes: minizinc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#minizinc
```

  Evidence: nixpkgs package indexes: pkgs/by-name/mi/minizinc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- zypper (92%):

```sh
sudo zypper install minizinc
```

  Evidence: openSUSE Tumbleweed package metadata: minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

## Package Facts

- **Package key:** brew:minizinc
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/minizinc>
- **Version:** 2.9.7
- **Source summary:** Medium-level constraint modeling language
- **Homepage:** <https://www.minizinc.org/>
- **Repository:** <https://github.com/MiniZinc/libminizinc>
- **Upstream docs:** <https://docs.minizinc.dev/en/stable>
- **License:** MPL-2.0
- **Source archive:** <https://github.com/MiniZinc/libminizinc/archive/refs/tags/2.9.7.tar.gz>
- **Last updated:** 2026-04-30T06:39:09Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- minizinc (cli)
- mzn2doc (cli)
- minizinc (alias)
- mzn2doc (alias)

## Dependencies

- cbc
- cgl
- clp
- coinutils
- gecode
- osi

## Build Dependencies

- cmake

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 2.9.7
- Package-manager updated: 2026-04-30
- Local data status: ok
- Upstream repository: https://github.com/MiniZinc/libminizinc
- Upstream latest detected: 2.9.7 (current)

## 安全说明

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** minizinc
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Other Package-Manager Records

- Debian apt - minizinc - 2.9.2+dfsg1-1: normalized package name match | Debian stable package indexes: minizinc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | constraint modelling language and tool chain | https://www.minizinc.org/
- Nix - minizinc: normalized package name match | nixpkgs package indexes: pkgs/by-name/mi/minizinc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - minizinc - 2.8.2+dfsg1-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: minizinc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | constraint modelling language and tool chain | https://www.minizinc.org/
- zypper - minizinc - 2.8.7-1.4: normalized package name match | openSUSE Tumbleweed package metadata: minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | A high-level constraint modelling language | https://www.minizinc.org/
- MacPorts - minizinc: normalized package name match | MacPorts ports tree: devel/minizinc/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Related Links

- [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Language runtime packages](https://www.automicvault.com/zh-hans/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/zh-hans/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://www.automicvault.com/zh-hans/pkg/scientific-computing-tools/) - Matched scientific computing metadata.
- [cbc](https://www.automicvault.com/zh-hans/pkg/brew/cbc/) - Runtime dependency declared by Homebrew.
- [clp](https://www.automicvault.com/zh-hans/pkg/brew/clp/) - Runtime dependency declared by Homebrew.
- [gecode](https://www.automicvault.com/zh-hans/pkg/brew/gecode/) - Runtime dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/zh-hans/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [scip](https://www.automicvault.com/zh-hans/pkg/brew/scip/) - Shares av.db curated category or tags: cli, constraint-programming, optimization, science.
- [ipopt](https://www.automicvault.com/zh-hans/pkg/brew/ipopt/) - Shares av.db curated category or tags: cli, optimization, science.
- [glpk](https://www.automicvault.com/zh-hans/pkg/brew/glpk/) - Shares av.db curated category or tags: cli, optimization, science.
- [or-tools](https://www.automicvault.com/zh-hans/pkg/brew/or-tools/) - Shares av.db curated category or tags: cli, optimization, science.
- [papilo](https://www.automicvault.com/zh-hans/pkg/brew/papilo/) - Shares av.db curated category or tags: cli, optimization, science.
- [soplex](https://www.automicvault.com/zh-hans/pkg/brew/soplex/) - Shares av.db curated category or tags: cli, optimization, science.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph