macOS
brew install cddliblocal Homebrew formula metadata
sudo port install cddlibMacPorts ports tree · devel/cddlib/Portfile · ソース: api.github.com
brew
cddlib のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install cddliblocal Homebrew formula metadata
sudo port install cddlibMacPorts ports tree · devel/cddlib/Portfile · ソース: api.github.com
sudo apk add cddlibAlpine Linux edge package indexes · cddlib · ソース: dl-cdn.alpinelinux.org
sudo dnf install cddlibFedora Rawhide package metadata · cddlib · ソース: dl.fedoraproject.org
nix profile install nixpkgs#cddlibnixpkgs package indexes · pkgs/by-name/cd/cddlib/package.nix · ソース: api.github.com
sudo pacman -S cddlibArch Linux sync databases · cddlib · ソース: geo.mirror.pkgbuild.com
sudo apt install libcdd-devDebian stable package indexes · libcdd-dev · ソース: deb.debian.org
sudo zypper install cddlib-developenSUSE Tumbleweed package metadata · cddlib-devel · ソース: download.opensuse.org
概要
Double description method for general polyhedral cones
履歴
cddlib is a C implementation of the double description method for convex polyhedra. It converts between inequality and generator representations, computes adjacency and faces, and includes linear-programming support.
The upstream README describes cddlib as a C implementation of the double description method of Motzkin et al. for generating all vertices and extreme rays of a convex polyhedron from linear inequalities, and for the reverse convex-hull computation. The ETH-hosted manual by Komei Fukuda provides the project documentation lineage and remains the detailed reference for the library and command-line programs.
The current GitHub repository was created in 2018 and is now the official source repository. Its releases show the modern packaged series: 0.94j in 2018, 0.94k and 0.94l in 2020, 0.94m in 2020, and 0.94n in 2025.
cddlib is packaged broadly because computational geometry and polyhedral libraries often need a shared backend. The Homebrew input records packages across Alpine, Homebrew, Debian/Ubuntu, Fedora, MacPorts, Nix, Arch, and openSUSE-family packaging.
Users link against cddlib or cddgmp from C programs, use the GMP rational build for exact arithmetic, and run tools such as cddexec, lcdd, scdd, fourier, adjacency, allfaces, projection, and redcheck for polyhedral computations.
cddlib matters in packaging because it is a small but important scientific dependency: a C library with optional GMP exact arithmetic, command-line utilities, and a long-lived mathematical niche. Its presence in many distributions reflects the way specialized academic algorithms become infrastructure for larger mathematics systems.
セキュリティ状態
narrow executable package without higher-risk signals.
リスク グリーン · 信頼度 低 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
adjacency | cli | グローバル実行可能ファイル | |
adjacency_gmp | cli | グローバル実行可能ファイル | |
allfaces | cli | グローバル実行可能ファイル | |
allfaces_gmp | cli | グローバル実行可能ファイル | |
cddexec | cli | グローバル実行可能ファイル | |
cddexec_gmp | cli | グローバル実行可能ファイル | |
fourier | cli | グローバル実行可能ファイル | |
fourier_gmp | cli | グローバル実行可能ファイル | |
lcdd | cli | グローバル実行可能ファイル | |
lcdd_gmp | cli | グローバル実行可能ファイル | |
projection | cli | グローバル実行可能ファイル | |
projection_gmp | cli | グローバル実行可能ファイル | |
redcheck | cli | グローバル実行可能ファイル | |
redcheck_gmp | cli | グローバル実行可能ファイル | |
scdd | cli | グローバル実行可能ファイル | |
scdd_gmp | cli | グローバル実行可能ファイル | |
testcdd1 | cli | グローバル実行可能ファイル | |
testcdd1_gmp | cli | グローバル実行可能ファイル | |
testcdd2 | cli | グローバル実行可能ファイル | |
testcdd2_gmp | cli | グローバル実行可能ファイル | |
testlp1 | cli | グローバル実行可能ファイル | |
testlp1_gmp | cli | グローバル実行可能ファイル | |
testlp2 | cli | グローバル実行可能ファイル | |
testlp2_gmp | cli | グローバル実行可能ファイル | |
testlp3 | cli | グローバル実行可能ファイル | |
testlp3_gmp | cli | グローバル実行可能ファイル | |
testshoot | cli | グローバル実行可能ファイル | |
testshoot_gmp | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/cddlib/cddlib
インストールメタデータ
| パッケージキー | brew:cddlib |
|---|---|
| バージョン | 0.94n |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/cddlib |
| ホームページ | https://www.inf.ethz.ch/personal/fukudak/cdd_home/ |
| リポジトリ | https://github.com/cddlib/cddlib |
| 上流ドキュメント | https://github.com/cddlib/cddlib#readme |
| ライセンス | GPL-2.0-or-later |
| ソースアーカイブ | https://github.com/cddlib/cddlib/releases/download/0.94n/cddlib-0.94n.tar.gz |
| 依存関係 | gmp |
| ビルド依存関係 | autoconf, automake, libtool |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | cddlib |
| Version Scheme | 1 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
libcdd-dev 094m-1.1+b1
Library for finding vertices of convex polytopes, development
https://github.com/cddlib/cddlib
sudo apt install libcdd-devlibcdd-doc 094m-1.1
documentation for libcdd
https://github.com/cddlib/cddlib
sudo apt install libcdd-doclibcdd-tools 094m-1.1+b1
Programs using libcdd
https://github.com/cddlib/cddlib
sudo apt install libcdd-toolslibcdd0t64 094m-1.1+b1
Library for calculations with convex polytopes, runtime
https://github.com/cddlib/cddlib
sudo apt install libcdd0t64cddlib
nix profile install nixpkgs#cddliblibcdd-dev 094m-1.1build1
Library for finding vertices of convex polytopes, development
https://github.com/cddlib/cddlib
sudo apt install libcdd-devlibcdd-doc 094m-1.1build1
documentation for libcdd
https://github.com/cddlib/cddlib
sudo apt install libcdd-doclibcdd-tools 094m-1.1build1
Programs using libcdd
https://github.com/cddlib/cddlib
sudo apt install libcdd-toolslibcdd0t64 094m-1.1build1
Library for calculations with convex polytopes, runtime
https://github.com/cddlib/cddlib
sudo apt install libcdd0t64cddlib 0.94m-r2
Library implementing Double Description Method for convex polyhedra
https://people.inf.ethz.ch/fukudak/cdd_home
sudo apk add cddlibcddlib-dev 0.94m-r2
Library implementing Double Description Method for convex polyhedra (development files)
https://people.inf.ethz.ch/fukudak/cdd_home
sudo apk add cddlib-devcddlib-doc 0.94m-r2
Library implementing Double Description Method for convex polyhedra (documentation)
https://people.inf.ethz.ch/fukudak/cdd_home
sudo apk add cddlib-doccddlib-static 0.94m-r2
Library implementing Double Description Method for convex polyhedra (static library)
https://people.inf.ethz.ch/fukudak/cdd_home
sudo apk add cddlib-staticcddlib-tools 0.94m-r2
Library implementing Double Description Method for convex polyhedra (utilities)
https://people.inf.ethz.ch/fukudak/cdd_home
sudo apk add cddlib-toolscddlib 0.94n-4.fc44
A library for generating all vertices in convex polyhedrons
https://people.inf.ethz.ch/fukudak/cdd_home/
sudo dnf install cddlibcddlib-devel 0.94n-4.fc44
Headers for cddlib
https://people.inf.ethz.ch/fukudak/cdd_home/
sudo dnf install cddlib-develソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.