Automic VaultAutomic Vault

brew

Installer gecode avec Homebrew, MacPorts, Nix, apt, zypper

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de gecode pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install gecode

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install gecode

MacPorts ports tree · devel/gecode/Portfile · Source: api.github.com

Linux

Nixvérifié · 92%
nix profile install nixpkgs#gecode

nixpkgs package indexes · pkgs/by-name/ge/gecode/package.nix · Source: api.github.com

Debian aptvérifié · 92%
sudo apt install libgecode-dev

Debian stable package indexes · libgecode-dev · Source: deb.debian.org

Ubuntu aptvérifié · 92%
sudo apt install flatzinc

Ubuntu 24.04 LTS package indexes · flatzinc · Source: archive.ubuntu.com

openSUSE zyppervérifié · 92%
sudo zypper install gecode-devel

openSUSE Tumbleweed package metadata · gecode-devel · Source: download.opensuse.org

aperçu

Résumé du paquet

Toolkit for developing constraint-based systems and applications

Commandes et alias

  • fzn-gecode
  • mzn-gecode

historique

Historique du projet et usages

Gecode is the Generic Constraint Development Environment, an open source C++ toolkit for developing constraint-based systems and applications.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

  • 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.

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • narrow executable package without higher-risk signals

Signaux

  • metadata:no-higher-risk-signals

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
  • S’installe avec 1 dépendances d’exécution.
  • Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
fzn-gecodecliexécutable global
mzn-gecodecliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-26
version du gestionnaire6.4.0
gestionnaire mis à jour2026-07-16
données localesOK
amontnot checked
dernière version détectéenon détecté

https://github.com/Gecode/gecode

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:gecode
Version6.4.0
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/gecode
Page d'accueilhttps://www.gecode.dev/
Dépôthttps://github.com/Gecode/gecode
Docs amonthttps://www.gecode.dev/documentation.html
LicenceMIT
Archive sourcehttps://github.com/Gecode/gecode/archive/refs/tags/release-6.4.0.tar.gz
Dernière mise à jour2026-07-16T10:35:30Z
Pulseupdated
Dépendancesqtbase
Dépendances de compilationuv
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namegecode
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Debian apt95%

libgecode-dev 6.2.0-7

generic constraint development environment

https://www.gecode.org/

sudo apt install libgecode-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: gecode
  • 6 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libgecode-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libgecode-doc 6.2.0-7

generic constraint development environment

https://www.gecode.org/

sudo apt install libgecode-doc
  • Section: doc
  • Architecture: all
  • Source Package: gecode
  • 1 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libgecode-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libgecode49t64 6.2.0-7

generic constraint development environment

https://www.gecode.org/

sudo apt install libgecode49t64
  • Section: libs
  • Architecture: amd64
  • Source Package: gecode
  • 4 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libgecode49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libgecodeflatzinc49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libgecodegist49t64 6.2.0-7

Gecode Interactive Search Tool library

https://www.gecode.org/

sudo apt install libgecodegist49t64
  • Section: libs
  • Architecture: amd64
  • Source Package: gecode
  • 9 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libgecodegist49t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

gecode

nix profile install nixpkgs#gecode
  • normalized package name match
  • Correspondance par : Gecode
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ge/gecode/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
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 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: flatzinc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libgecode-dev 6.2.0-5.1build3

generic constraint development environment

http://www.gecode.org/

sudo apt install libgecode-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: gecode
  • 6 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libgecode-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libgecode-doc 6.2.0-5.1build3

generic constraint development environment

http://www.gecode.org/

sudo apt install libgecode-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: gecode
  • 1 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libgecode-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libgecode49t64 6.2.0-5.1build3

generic constraint development environment

http://www.gecode.org/

sudo apt install libgecode49t64
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: gecode
  • 4 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libgecode49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libgecodeflatzinc49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libgecodegist49t64 6.2.0-5.1build3

Gecode Interactive Search Tool library

http://www.gecode.org/

sudo apt install libgecodegist49t64
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: gecode
  • 9 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : Gecode
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libgecodegist49t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
zypper95%

gecode-devel 6.3.0~git20211208.6b09bea4-1.12

C++ toolkit for developing constraint-based systems

https://www.gecode.org/

sudo zypper install gecode-devel
  • License: MIT
  • Category: Development/Libraries/C and C++
  • Architecture: x86_64
  • Source Package: gecode
  • 1 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Gecode
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: gecode-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst
zypper95%

gecode-minizinc 6.3.0~git20211208.6b09bea4-1.12

Gecode minizinc solver

https://www.gecode.org/

sudo zypper install gecode-minizinc
  • License: MIT
  • Category: Productivity/Scientific/Math
  • Architecture: x86_64
  • Source Package: gecode
  • 15 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : Gecode
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: gecode-minizinc from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst
zypper95%

libgecode51 6.3.0~git20211208.6b09bea4-1.12

C++ toolkit for developing constraint-based systems

https://www.gecode.org/

sudo zypper install libgecode51
  • License: MIT
  • Category: System/Libraries
  • Architecture: x86_64
  • Source Package: gecode
  • 6 Dépendances
  • 9 fournit
  • normalized package name match
  • Correspondance par : Gecode
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: libgecode51 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst
MacPorts95%

gecode

sudo port install gecode
  • normalized package name match
  • Correspondance par : Gecode
MacPorts ports tree · api.github.com · MacPorts ports tree: devel/gecode/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

Outils liés

  • qtbaseRuntime dependency declared by Homebrew.
  • uvBuild dependency declared by Homebrew.
  • minizincPopular package that depends on this formula.

Même workflow

  • fltkShares av.db curated category or tags: c-plus-plus, cli, developer-tools, toolkit.
  • foxShares av.db curated category or tags: c-plus-plus, cli, developer-tools, toolkit.
  • aarch64-elf-gccShares av.db curated category or tags: c-plus-plus, cli, developer-tools.
  • arabicaShares av.db curated category or tags: c-plus-plus, cli, developer-tools.
  • astyleShares av.db curated category or tags: c-plus-plus, cli, developer-tools.
  • atfShares av.db curated category or tags: c-plus-plus, cli, developer-tools.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • 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