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 / rang 5326
Installer gecode
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de gecode pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:gecodeLinux
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
Source du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Toolkit for developing constraint-based systems and applications
Page d'accueil
Commandes et alias
- fzn-gecode
- mzn-gecode
posture de sécurité
Niveau de risque : 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.
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
| Commande | Type | Exposition | Note |
|---|---|---|---|
fzn-gecode | cli | global executable | |
mzn-gecode | cli | global executable |
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-06-10
version du gestionnaire6.2.0
gestionnaire mis à jour
données localesok
amontnot checked
dernière version détectéenot detected
https://github.com/Gecode/gecode
- infoNo package-manager update timestamp was available.low confidence
- infoNo cached GitHub release or tag data was available.https://github.com/Gecode/gecodenone confidence
métadonnées d'installation
Métadonnées du paquet
| 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 |
| Dependencies | qtbase |
| Bottle | available (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
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
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment