Automic VaultAutomic Vault

brew

cddlib を Homebrew, apk, dnf, MacPorts, Nix, pacman, apt, zypper でインストール

cddlib のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install cddlib

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install cddlib

MacPorts ports tree · devel/cddlib/Portfile · ソース: api.github.com

Linux

Alpine Linux apk確認済み · 92%
sudo apk add cddlib

Alpine Linux edge package indexes · cddlib · ソース: dl-cdn.alpinelinux.org

Fedora dnf確認済み · 92%
sudo dnf install cddlib

Fedora Rawhide package metadata · cddlib · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#cddlib

nixpkgs package indexes · pkgs/by-name/cd/cddlib/package.nix · ソース: api.github.com

Arch Linux pacman確認済み · 92%
sudo pacman -S cddlib

Arch Linux sync databases · cddlib · ソース: geo.mirror.pkgbuild.com

Debian apt確認済み · 92%
sudo apt install libcdd-dev

Debian stable package indexes · libcdd-dev · ソース: deb.debian.org

openSUSE zypper確認済み · 92%
sudo zypper install cddlib-devel

openSUSE Tumbleweed package metadata · cddlib-devel · ソース: download.opensuse.org

概要

パッケージ概要

Double description method for general polyhedral cones

コマンドとエイリアス

  • adjacency
  • adjacency_gmp
  • allfaces
  • allfaces_gmp
  • cddexec
  • cddexec_gmp
  • fourier
  • fourier_gmp
  • lcdd
  • lcdd_gmp
  • projection
  • projection_gmp
  • redcheck
  • redcheck_gmp
  • scdd
  • scdd_gmp
  • testcdd1
  • testcdd1_gmp
  • testcdd2
  • testcdd2_gmp
  • testlp1
  • testlp1_gmp
  • testlp2
  • testlp2_gmp
  • testlp3
  • testlp3_gmp
  • testshoot
  • testshoot_gmp

履歴

プロジェクトの歴史と使われ方

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.

タイムライン

  • 2018: Current official GitHub repository created and release 0.94j published.
  • 2020: Releases 0.94k, 0.94l, and 0.94m published.
  • 2021: ETH-hosted cddlib manual version referenced by current curation.
  • 2025: Release 0.94n published.

Related projects

  • The README points to GMP for rational arithmetic and describes cddlib's relationship to convex-hull computation, linear programming, and double-description polyhedral algorithms.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 8 個のプラットフォームターゲットで利用できます。
  • 1 件の実行時依存関係とともにインストールされます。
  • ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
adjacencycliグローバル実行可能ファイル
adjacency_gmpcliグローバル実行可能ファイル
allfacescliグローバル実行可能ファイル
allfaces_gmpcliグローバル実行可能ファイル
cddexeccliグローバル実行可能ファイル
cddexec_gmpcliグローバル実行可能ファイル
fouriercliグローバル実行可能ファイル
fourier_gmpcliグローバル実行可能ファイル
lcddcliグローバル実行可能ファイル
lcdd_gmpcliグローバル実行可能ファイル
projectioncliグローバル実行可能ファイル
projection_gmpcliグローバル実行可能ファイル
redcheckcliグローバル実行可能ファイル
redcheck_gmpcliグローバル実行可能ファイル
scddcliグローバル実行可能ファイル
scdd_gmpcliグローバル実行可能ファイル
testcdd1cliグローバル実行可能ファイル
testcdd1_gmpcliグローバル実行可能ファイル
testcdd2cliグローバル実行可能ファイル
testcdd2_gmpcliグローバル実行可能ファイル
testlp1cliグローバル実行可能ファイル
testlp1_gmpcliグローバル実行可能ファイル
testlp2cliグローバル実行可能ファイル
testlp2_gmpcliグローバル実行可能ファイル
testlp3cliグローバル実行可能ファイル
testlp3_gmpcliグローバル実行可能ファイル
testshootcliグローバル実行可能ファイル
testshoot_gmpcliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-25
マネージャ版0.94n
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://github.com/cddlib/cddlib

  • 情報No package-manager update timestamp was available.信頼度 低
  • 情報No cached GitHub release or tag data was available.https://github.com/cddlib/cddlib信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー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 DatabaseHomebrew formula API
Taphomebrew/core
Full Namecddlib
Version Scheme1
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

libcdd-dev 094m-1.1+b1

Library for finding vertices of convex polytopes, development

https://github.com/cddlib/cddlib

sudo apt install libcdd-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: cddlib
  • 2 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: Cddlib
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcdd-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcdd-doc 094m-1.1

documentation for libcdd

https://github.com/cddlib/cddlib

sudo apt install libcdd-doc
  • Section: doc
  • Architecture: all
  • Source Package: cddlib
  • normalized package name match
  • 一致条件: Cddlib
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcdd-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcdd-tools 094m-1.1+b1

Programs using libcdd

https://github.com/cddlib/cddlib

sudo apt install libcdd-tools
  • Section: math
  • Architecture: amd64
  • Source Package: cddlib
  • 3 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: Cddlib
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcdd-tools from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcdd0t64 094m-1.1+b1

Library for calculations with convex polytopes, runtime

https://github.com/cddlib/cddlib

sudo apt install libcdd0t64
  • Section: libs
  • Architecture: amd64
  • Source Package: cddlib
  • 3 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cddlib
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcdd0t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

cddlib

nix profile install nixpkgs#cddlib
  • normalized package name match
  • 一致条件: Cddlib
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/cd/cddlib/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libcdd-dev 094m-1.1build1

Library for finding vertices of convex polytopes, development

https://github.com/cddlib/cddlib

sudo apt install libcdd-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: cddlib
  • 2 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: Cddlib
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcdd-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcdd-doc 094m-1.1build1

documentation for libcdd

https://github.com/cddlib/cddlib

sudo apt install libcdd-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: cddlib
  • normalized package name match
  • 一致条件: Cddlib
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcdd-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcdd-tools 094m-1.1build1

Programs using libcdd

https://github.com/cddlib/cddlib

sudo apt install libcdd-tools
  • Section: universe/math
  • Architecture: amd64
  • Source Package: cddlib
  • 3 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: Cddlib
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcdd-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcdd0t64 094m-1.1build1

Library for calculations with convex polytopes, runtime

https://github.com/cddlib/cddlib

sudo apt install libcdd0t64
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: cddlib
  • 3 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cddlib
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcdd0t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
apk95%

cddlib 0.94m-r2

Library implementing Double Description Method for convex polyhedra

https://people.inf.ethz.ch/fukudak/cdd_home

sudo apk add cddlib
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: cddlib
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cddlib
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: cddlib from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

cddlib-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-dev
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: cddlib
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cddlib
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: cddlib-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

cddlib-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-doc
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: cddlib
  • normalized package name match
  • 一致条件: Cddlib
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: cddlib-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

cddlib-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-static
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: cddlib
  • normalized package name match
  • 一致条件: Cddlib
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: cddlib-static from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

cddlib-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-tools
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: cddlib
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cddlib
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: cddlib-tools from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

cddlib 0.94n-4.fc44

A library for generating all vertices in convex polyhedrons

https://people.inf.ethz.ch/fukudak/cdd_home/

sudo dnf install cddlib
  • License: GPL-2.0-or-later
  • Category: Unspecified
  • Architecture: i686
  • Source Package: cddlib
  • 4 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Cddlib
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cddlib from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

cddlib-devel 0.94n-4.fc44

Headers for cddlib

https://people.inf.ethz.ch/fukudak/cdd_home/

sudo dnf install cddlib-devel
  • License: GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN
  • Category: Unspecified
  • Architecture: i686
  • Source Package: cddlib
  • 5 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Cddlib
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cddlib-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

ソース経路

リポジトリデータから生成

このページは 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
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment