macOS
brew install cddliblocal Homebrew formula metadata
sudo port install cddlibMacPorts ports tree · devel/cddlib/Portfile · Source: api.github.com
brew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cddlib pour les workflows d'agents IA.
installation
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 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 apt install libcdd-devDebian stable package indexes · libcdd-dev · Source: deb.debian.org
sudo zypper install cddlib-developenSUSE Tumbleweed package metadata · cddlib-devel · Source: download.opensuse.org
aperçu
Double description method for general polyhedral cones
historique
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.
posture de sécurité
narrow executable package without higher-risk signals.
risque vert · confiance faible · appliance
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
| Commande | Type | Exposition | Note |
|---|---|---|---|
adjacency | cli | exécutable global | |
adjacency_gmp | cli | exécutable global | |
allfaces | cli | exécutable global | |
allfaces_gmp | cli | exécutable global | |
cddexec | cli | exécutable global | |
cddexec_gmp | cli | exécutable global | |
fourier | cli | exécutable global | |
fourier_gmp | cli | exécutable global | |
lcdd | cli | exécutable global | |
lcdd_gmp | cli | exécutable global | |
projection | cli | exécutable global | |
projection_gmp | cli | exécutable global | |
redcheck | cli | exécutable global | |
redcheck_gmp | cli | exécutable global | |
scdd | cli | exécutable global | |
scdd_gmp | cli | exécutable global | |
testcdd1 | cli | exécutable global | |
testcdd1_gmp | cli | exécutable global | |
testcdd2 | cli | exécutable global | |
testcdd2_gmp | cli | exécutable global | |
testlp1 | cli | exécutable global | |
testlp1_gmp | cli | exécutable global | |
testlp2 | cli | exécutable global | |
testlp2_gmp | cli | exécutable global | |
testlp3 | cli | exécutable global | |
testlp3_gmp | cli | exécutable global | |
testshoot | cli | exécutable global | |
testshoot_gmp | cli | exécutable global |
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.
https://github.com/cddlib/cddlib
métadonnées d'installation
| Clé du paquet | brew:cddlib |
|---|---|
| Version | 0.94n |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/cddlib |
| Page d'accueil | https://www.inf.ethz.ch/personal/fukudak/cdd_home/ |
| Dépôt | https://github.com/cddlib/cddlib |
| Docs amont | https://github.com/cddlib/cddlib#readme |
| Licence | GPL-2.0-or-later |
| Archive source | https://github.com/cddlib/cddlib/releases/download/0.94n/cddlib-0.94n.tar.gz |
| Dépendances | gmp |
| Dépendances de compilation | autoconf, automake, libtool |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
| 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 |
|
correspondances dans les bases sources
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
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-develpiste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.