# Install gecode Toolkit for developing constraint-based systems and applications. Version 6.2.0 via Homebrew; verified from local package data. ## Install ```sh sudo av install brew:gecode ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install gecode ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install gecode ``` Evidence: MacPorts ports tree: devel/gecode/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Debian apt (92%): ```sh sudo apt install libgecode-dev ``` Evidence: Debian stable package indexes: libgecode-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - Nix (92%): ```sh nix profile install nixpkgs#gecode ``` Evidence: nixpkgs package indexes: pkgs/by-name/ge/gecode/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt (92%): ```sh sudo apt install flatzinc ``` Evidence: Ubuntu 24.04 LTS package indexes: flatzinc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz - zypper (92%): ```sh sudo zypper install gecode-devel ``` Evidence: openSUSE Tumbleweed package metadata: gecode-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst ## Package Facts - **Package key:** brew:gecode - **Package manager:** Homebrew - **Package manager URL:** - **Version:** 6.2.0 - **Source summary:** Toolkit for developing constraint-based systems and applications - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** MIT - **Source archive:** - **Generated:** 2026-06-10T07:18:26+00:00 ## Executables - fzn-gecode (cli) - mzn-gecode (cli) - fzn-gecode (alias) - mzn-gecode (alias) ## Dependencies - qtbase ## 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: 6.2.0 - Local data status: ok - Upstream repository: https://github.com/Gecode/gecode - info: No package-manager update timestamp was available. - info: No cached GitHub release or tag data was available. ## 安全说明 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:** gecode - **Version Scheme:** 0 - **Revision:** 1 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Other Package-Manager Records - Debian apt - libgecode-dev - 6.2.0-7: normalized package name match | Debian stable package indexes: libgecode-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | generic constraint development environment | https://www.gecode.org/ - Debian apt - libgecode-doc - 6.2.0-7: normalized package name match | Debian stable package indexes: libgecode-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | generic constraint development environment | https://www.gecode.org/ - Debian apt - libgecode49t64 - 6.2.0-7: normalized package name match | Debian stable package indexes: libgecode49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | generic constraint development environment | https://www.gecode.org/ - Debian apt - libgecodeflatzinc49t64 - 6.2.0-7: normalized package name match | Debian stable package indexes: libgecodeflatzinc49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Gecode support for FlatZinc modelling language | http://www.gecode.org/flatzinc.html - Debian apt - libgecodegist49t64 - 6.2.0-7: normalized package name match | Debian stable package indexes: libgecodegist49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Gecode Interactive Search Tool library | https://www.gecode.org/ - Nix - gecode: normalized package name match | nixpkgs package indexes: pkgs/by-name/ge/gecode/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - flatzinc - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: flatzinc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | constraint problem modelling language | http://www.gecode.org/flatzinc.html - Ubuntu apt - libgecode-dev - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libgecode-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | generic constraint development environment | http://www.gecode.org/ - Ubuntu apt - libgecode-doc - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libgecode-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | generic constraint development environment | http://www.gecode.org/ - Ubuntu apt - libgecode49t64 - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libgecode49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | generic constraint development environment | http://www.gecode.org/ - Ubuntu apt - libgecodeflatzinc49t64 - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libgecodeflatzinc49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Gecode support for FlatZinc modelling language | http://www.gecode.org/flatzinc.html - Ubuntu apt - libgecodegist49t64 - 6.2.0-5.1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: libgecodegist49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Gecode Interactive Search Tool library | http://www.gecode.org/ - zypper - gecode-devel - 6.3.0~git20211208.6b09bea4-1.12: normalized package name match | openSUSE Tumbleweed package metadata: gecode-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | C++ toolkit for developing constraint-based systems | https://www.gecode.org/ - zypper - gecode-minizinc - 6.3.0~git20211208.6b09bea4-1.12: normalized package name match | openSUSE Tumbleweed package metadata: gecode-minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | Gecode minizinc solver | https://www.gecode.org/ - zypper - libgecode51 - 6.3.0~git20211208.6b09bea4-1.12: normalized package name match | openSUSE Tumbleweed package metadata: libgecode51 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | C++ toolkit for developing constraint-based systems | https://www.gecode.org/ - MacPorts - gecode: normalized package name match | MacPorts ports tree: devel/gecode/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. - [Text processing packages](https://www.automicvault.com/zh-hans/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/zh-hans/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/zh-hans/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [qtbase](https://www.automicvault.com/zh-hans/pkg/brew/qtbase/) - Runtime dependency declared by Homebrew. - [minizinc](https://www.automicvault.com/zh-hans/pkg/brew/minizinc/) - Popular package that depends on this formula. - [fltk](https://www.automicvault.com/zh-hans/pkg/brew/fltk/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools, toolkit. - [fox](https://www.automicvault.com/zh-hans/pkg/brew/fox/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools, toolkit. - [ccache](https://www.automicvault.com/zh-hans/pkg/brew/ccache/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools. - [llama.cpp](https://www.automicvault.com/zh-hans/pkg/brew/llama-cpp/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools. - [gtk+3](https://www.automicvault.com/zh-hans/pkg/brew/gtk-3/) - Shares av.db curated category or tags: cli, developer-tools, toolkit. - [qt](https://www.automicvault.com/zh-hans/pkg/brew/qt/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools. - [swig](https://www.automicvault.com/zh-hans/pkg/brew/swig/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools. - [mlx](https://www.automicvault.com/zh-hans/pkg/brew/mlx/) - Shares av.db curated category or tags: c-plus-plus, cli, developer-tools. - [poco](https://www.automicvault.com/zh-hans/pkg/brew/poco/) - Local package facts share a topical domain. Shared terms: applications, based, c-plus-plus, cli, developer. - [build2](https://www.automicvault.com/zh-hans/pkg/brew/build2/) - Local package facts share a topical domain. Shared terms: c-plus-plus, cli, developer, developer-tools, plus. ## 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