macOS
Homebrewverified · 100%
brew install gecodelocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install gecodeMacPorts ports tree · devel/gecode/Portfile · source: api.github.com
brew
Install gecode with Homebrew, apt, MacPorts, Nix, zypper
Toolkit for developing constraint-based systems and applications. Version 6.2.0 via Homebrew; verified 2026-06-25.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install libgecode-devDebian stable package indexes · libgecode-dev · source: deb.debian.org
Nixverified · 92%
nix profile install nixpkgs#gecodenixpkgs package indexes · pkgs/by-name/ge/gecode/package.nix · source: api.github.com
Ubuntu aptverified · 92%
sudo apt install flatzincUbuntu 24.04 LTS package indexes · flatzinc · source: archive.ubuntu.com
openSUSE zypperverified · 92%
sudo zypper install gecode-developenSUSE Tumbleweed package metadata · gecode-devel · source: download.opensuse.org
overview
Package summary
Toolkit for developing constraint-based systems and applications
Project links
Commands and aliases
- fzn-gecode
- mzn-gecode
history
Project history and usage
Gecode is the Generic Constraint Development Environment, an open source C++ toolkit for developing constraint-based systems and applications.
Project history
The official Gecode site presents the project as a modular and extensible C++ constraint solver with support for custom constraints, branching strategies, search engines, and variable domains. Its historical changelog records Gecode 1.0.0 on 2005-12-06.
Adoption history
Gecode's official news archive tracks its use in solver and modeling ecosystems: FlatZinc support was announced in 2007, repeated MiniZinc Challenge wins were reported from 2008 through 2012, Homebrew availability was announced in 2011, and SAP adoption for advanced variant configuration was reported in 2018.
How it is used
Developers use Gecode as a C++ toolkit and through command-line front ends such as FlatZinc and MiniZinc-related tooling. The official documentation emphasizes tutorial and reference material for modeling, search, installation, linking, and platform-specific builds.
Why package nerds care
Gecode is significant in package collections because it is both a library and a solver executable dependency for constraint-programming workflows, especially MiniZinc and FlatZinc users who care about solver availability, ABI compatibility, and platform packaging.
Timeline
- 2005: Gecode 1.0.0 released.
- 2007: FlatZinc for Gecode 1.0 released.
- 2008-2012: Gecode won MiniZinc Challenge gold medals across multiple years.
- 2011: Gecode became installable on Mac OS via Homebrew.
- 2018: SAP use of Gecode for advanced variant configuration was reported.
- 2019: Gecode 6.2.0 released.
Related projects
- MiniZinc, FlatZinc, AMPL, ECLiPSe, YAP Prolog, and SAP advanced variant configuration are named in Gecode's official site or news archive as related interfaces, uses, or integrations.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 1 runtime dependencies.
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
| Command | Kind | Exposure | Note |
|---|---|---|---|
fzn-gecode | cli | global executable | |
mzn-gecode | cli | global executable |
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-07-08
manager version6.2.0
manager updated2026-06-25
local dataok
upstreamnot checked
latest detectednot detected
https://github.com/Gecode/gecode
- infoNo cached GitHub release or tag data was available.https://github.com/Gecode/gecodenone confidence
install metadata
Package metadata
| Package key | brew:gecode |
|---|---|
| Version | 6.2.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/gecode |
| Homepage | https://www.gecode.org/ |
| Repository | https://github.com/Gecode/gecode |
| Upstream docs | https://www.gecode.dev/documentation.html |
| License | MIT |
| Source archive | https://github.com/Gecode/gecode/archive/refs/tags/release-6.2.0.tar.gz |
| Last updated | 2026-06-25T08:00:46-04:00 |
| Pulse | updated |
| Dependencies | qtbase |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | gecode |
| Version Scheme | 0 |
| Revision | 1 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
libgecode-dev 6.2.0-7
generic constraint development environment
sudo apt install libgecode-dev- Section: libdevel
- Architecture: amd64
- Source Package: gecode
- 6 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Debian apt95%
libgecode-doc 6.2.0-7
generic constraint development environment
sudo apt install libgecode-doc- Section: doc
- Architecture: all
- Source Package: gecode
- 1 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Debian apt95%
libgecode49t64 6.2.0-7
generic constraint development environment
sudo apt install libgecode49t64- Section: libs
- Architecture: amd64
- Source Package: gecode
- 4 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Debian apt95%
libgecodeflatzinc49t64 6.2.0-7
Gecode support for FlatZinc modelling language
http://www.gecode.org/flatzinc.html
sudo apt install libgecodeflatzinc49t64- Section: libs
- Architecture: amd64
- Source Package: gecode
- 6 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Debian apt95%
libgecodegist49t64 6.2.0-7
Gecode Interactive Search Tool library
sudo apt install libgecodegist49t64- Section: libs
- Architecture: amd64
- Source Package: gecode
- 9 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Nix95%
gecode
nix profile install nixpkgs#gecode- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
flatzinc 6.2.0-5.1build3
constraint problem modelling language
http://www.gecode.org/flatzinc.html
sudo apt install flatzinc- Section: universe/devel
- Architecture: amd64
- Source Package: gecode
- 6 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
libgecode-dev 6.2.0-5.1build3
generic constraint development environment
sudo apt install libgecode-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: gecode
- 6 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
libgecode-doc 6.2.0-5.1build3
generic constraint development environment
sudo apt install libgecode-doc- Section: universe/doc
- Architecture: all
- Source Package: gecode
- 1 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
libgecode49t64 6.2.0-5.1build3
generic constraint development environment
sudo apt install libgecode49t64- Section: universe/libs
- Architecture: amd64
- Source Package: gecode
- 4 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
libgecodeflatzinc49t64 6.2.0-5.1build3
Gecode support for FlatZinc modelling language
http://www.gecode.org/flatzinc.html
sudo apt install libgecodeflatzinc49t64- Section: universe/libs
- Architecture: amd64
- Source Package: gecode
- 6 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
Ubuntu apt95%
libgecodegist49t64 6.2.0-5.1build3
Gecode Interactive Search Tool library
sudo apt install libgecodegist49t64- Section: universe/libs
- Architecture: amd64
- Source Package: gecode
- 9 dependencies
- 1 provides
- 1 optional deps
- normalized package name match
- Matched by: Gecode
zypper95%
gecode-devel 6.3.0~git20211208.6b09bea4-1.12
C++ toolkit for developing constraint-based systems
sudo zypper install gecode-devel- License: MIT
- Category: Development/Libraries/C and C++
- Architecture: x86_64
- Source Package: gecode
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Gecode
zypper95%
gecode-minizinc 6.3.0~git20211208.6b09bea4-1.12
Gecode minizinc solver
sudo zypper install gecode-minizinc- License: MIT
- Category: Productivity/Scientific/Math
- Architecture: x86_64
- Source Package: gecode
- 15 dependencies
- 3 provides
- normalized package name match
- Matched by: Gecode
zypper95%
libgecode51 6.3.0~git20211208.6b09bea4-1.12
C++ toolkit for developing constraint-based systems
sudo zypper install libgecode51- License: MIT
- Category: System/Libraries
- Architecture: x86_64
- Source Package: gecode
- 6 dependencies
- 9 provides
- normalized package name match
- Matched by: Gecode
MacPorts95%
gecode
sudo port install gecode- normalized package name match
- Matched by: Gecode
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.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment