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 / 順位 5326
gecode をインストール
gecode のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
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
パッケージマネージャソース
プラットフォームノート
- パッケージ固有のプラットフォームノートはありません。
概要
パッケージ概要
Toolkit for developing constraint-based systems and applications
ホームページ
コマンドとエイリアス
- fzn-gecode
- mzn-gecode
セキュリティ状態
リスクレベル: 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.
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
fzn-gecode | cli | global executable | |
mzn-gecode | cli | global executable |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-06-10
マネージャ版6.2.0
マネージャ更新日
ローカルデータok
上流not checked
検出された最新not 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
インストールメタデータ
パッケージメタデータ
| 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
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
使用ソース
- 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