Automic VaultAutomic Vault

brew

gecode mit Homebrew, MacPorts, Nix, apt, zypper installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für gecode in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install gecode

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install gecode

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

Linux

Nixverifiziert · 92%
nix profile install nixpkgs#gecode

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

Debian aptverifiziert · 92%
sudo apt install libgecode-dev

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

Ubuntu aptverifiziert · 92%
sudo apt install flatzinc

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

openSUSE zypperverifiziert · 92%
sudo zypper install gecode-devel

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

Überblick

Paketzusammenfassung

Toolkit for developing constraint-based systems and applications

Befehle und Aliase

  • fzn-gecode
  • mzn-gecode

Verlauf

Projektgeschichte und Nutzung

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

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Installiert mit 1 Laufzeitabhängigkeiten.
  • Build-Metadaten listen 1 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
fzn-gecodecliglobales Executable
mzn-gecodecliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-26
Manager-Version6.4.0
Manager aktualisiert2026-07-16
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://github.com/Gecode/gecode

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:gecode
Version6.4.0
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/gecode
Homepagehttps://www.gecode.dev/
Repositoryhttps://github.com/Gecode/gecode
Upstream-Dokumentationhttps://www.gecode.dev/documentation.html
LizenzMIT
Quellarchivhttps://github.com/Gecode/gecode/archive/refs/tags/release-6.4.0.tar.gz
Zuletzt aktualisiert2026-07-16T10:35:30Z
Pulseupdated
Abhängigkeitenqtbase
Build-Abhängigkeitenuv
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 9 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

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

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

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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