macOS
brew install cddliblocal Homebrew formula metadata
sudo port install cddlibMacPorts ports tree · devel/cddlib/Portfile · source: api.github.com
brew
Double description method for general polyhedral cones. Version 0.94n via Homebrew; verified from local package data.
install
brew install cddliblocal Homebrew formula metadata
sudo port install cddlibMacPorts ports tree · devel/cddlib/Portfile · source: api.github.com
sudo apk add cddlibAlpine Linux edge package indexes · cddlib · source: dl-cdn.alpinelinux.org
sudo apt install libcdd-devDebian stable package indexes · libcdd-dev · source: deb.debian.org
sudo dnf install cddlibFedora Rawhide package metadata · cddlib · source: dl.fedoraproject.org
nix profile install nixpkgs#cddlibnixpkgs package indexes · pkgs/by-name/cd/cddlib/package.nix · source: api.github.com
sudo pacman -S cddlibArch Linux sync databases · cddlib · source: geo.mirror.pkgbuild.com
sudo zypper install cddlib-developenSUSE Tumbleweed package metadata · cddlib-devel · source: download.opensuse.org
overview
Double description method for general polyhedral cones
history
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.
security posture
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
adjacency | cli | global executable | |
adjacency_gmp | cli | global executable | |
allfaces | cli | global executable | |
allfaces_gmp | cli | global executable | |
cddexec | cli | global executable | |
cddexec_gmp | cli | global executable | |
fourier | cli | global executable | |
fourier_gmp | cli | global executable | |
lcdd | cli | global executable | |
lcdd_gmp | cli | global executable | |
projection | cli | global executable | |
projection_gmp | cli | global executable | |
redcheck | cli | global executable | |
redcheck_gmp | cli | global executable | |
scdd | cli | global executable | |
scdd_gmp | cli | global executable | |
testcdd1 | cli | global executable | |
testcdd1_gmp | cli | global executable | |
testcdd2 | cli | global executable | |
testcdd2_gmp | cli | global executable | |
testlp1 | cli | global executable | |
testlp1_gmp | cli | global executable | |
testlp2 | cli | global executable | |
testlp2_gmp | cli | global executable | |
testlp3 | cli | global executable | |
testlp3_gmp | cli | global executable | |
testshoot | cli | global executable | |
testshoot_gmp | cli | global executable |
freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
https://github.com/cddlib/cddlib
install metadata
| Package key | brew:cddlib |
|---|---|
| Version | 0.94n |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/cddlib |
| Homepage | https://www.inf.ethz.ch/personal/fukudak/cdd_home/ |
| Repository | https://github.com/cddlib/cddlib |
| Upstream docs | https://github.com/cddlib/cddlib#readme |
| License | GPL-2.0-or-later |
| Source archive | https://github.com/cddlib/cddlib/releases/download/0.94n/cddlib-0.94n.tar.gz |
| Dependencies | gmp |
| Build dependencies | autoconf, automake, libtool |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| 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 |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
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-develsource trail
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.