# Installer cddlib avec Homebrew, apk, dnf, MacPorts, Nix, pacman, apt, zypper Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cddlib pour les workflows d'agents IA. ## installation ```sh sudo av install brew:cddlib ``` Commandes d'installation supplémentaires: ### macOS - Homebrew (100%): ```sh brew install cddlib ``` Preuve: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install cddlib ``` Preuve: MacPorts ports tree: devel/cddlib/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - apk (92%): ```sh sudo apk add cddlib ``` Preuve: Alpine Linux edge package indexes: cddlib from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz - dnf (92%): ```sh sudo dnf install cddlib ``` Preuve: Fedora Rawhide package metadata: cddlib from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#cddlib ``` Preuve: nixpkgs package indexes: pkgs/by-name/cd/cddlib/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S cddlib ``` Preuve: Arch Linux sync databases: cddlib from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz - Debian apt (92%): ```sh sudo apt install libcdd-dev ``` Preuve: Debian stable package indexes: libcdd-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - zypper (92%): ```sh sudo zypper install cddlib-devel ``` Preuve: openSUSE Tumbleweed package metadata: cddlib-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst ## Faits du paquet - **Clé du paquet:** brew:cddlib - **Gestionnaire de paquets:** Homebrew - **Page du gestionnaire de paquets:** - **Version:** 0.94n - **Résumé source:** Double description method for general polyhedral cones - **Page d'accueil:** - **Dépôt:** - **Docs amont:** - **Licence:** GPL-2.0-or-later - **Archive source:** - **Généré:** 2026-08-04T22:13:35+00:00 ## exécutables - 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) - adjacency (alias) - adjacency_gmp (alias) - allfaces (alias) - allfaces_gmp (alias) - cddexec (alias) - cddexec_gmp (alias) - fourier (alias) - fourier_gmp (alias) - lcdd (alias) - lcdd_gmp (alias) - projection (alias) - projection_gmp (alias) - redcheck (alias) - redcheck_gmp (alias) - scdd (alias) - scdd_gmp (alias) - testcdd1 (alias) - testcdd1_gmp (alias) - testcdd2 (alias) - testcdd2_gmp (alias) - testlp1 (alias) - testlp1_gmp (alias) - testlp2 (alias) - testlp2_gmp (alias) - testlp3 (alias) - testlp3_gmp (alias) - testshoot (alias) - testshoot_gmp (alias) ## Dépendances - gmp ## Dépendances de compilation - autoconf - automake - libtool ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux ## Version et fraîcheur - page générée: 2026-08-04 - version du gestionnaire: 0.94n - données locales: OK - dépôt amont: https://github.com/cddlib/cddlib - info: No package-manager update timestamp was available. - info: No cached GitHub release or tag data was available. ## Historique du projet et usages 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. ### Historique du projet 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. ### Historique d'adoption 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. ### Modes d'utilisation 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. ### Pourquoi les passionnés de paquets s'y intéressent 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. ### Chronologie - 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. ### Sources - - - - - - - ## Notes de sécurité narrow executable package without higher-risk signals. - **Risque Geiger:** vert / faible - narrow executable package without higher-risk signals ## Détails de la base source - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** cddlib - **Version Scheme:** 1 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Autres enregistrements de gestionnaires de paquets - Debian apt - libcdd-dev - 094m-1.1+b1: normalized package name match | Debian stable package indexes: libcdd-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Library for finding vertices of convex polytopes, development | https://github.com/cddlib/cddlib - Debian apt - libcdd-doc - 094m-1.1: normalized package name match | Debian stable package indexes: libcdd-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | documentation for libcdd | https://github.com/cddlib/cddlib - Debian apt - libcdd-tools - 094m-1.1+b1: normalized package name match | Debian stable package indexes: libcdd-tools from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Programs using libcdd | https://github.com/cddlib/cddlib - Debian apt - libcdd0t64 - 094m-1.1+b1: normalized package name match | Debian stable package indexes: libcdd0t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Library for calculations with convex polytopes, runtime | https://github.com/cddlib/cddlib - Nix - cddlib: normalized package name match | nixpkgs package indexes: pkgs/by-name/cd/cddlib/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - libcdd-dev - 094m-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcdd-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Library for finding vertices of convex polytopes, development | https://github.com/cddlib/cddlib - Ubuntu apt - libcdd-doc - 094m-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcdd-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | documentation for libcdd | https://github.com/cddlib/cddlib - Ubuntu apt - libcdd-tools - 094m-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcdd-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Programs using libcdd | https://github.com/cddlib/cddlib - Ubuntu apt - libcdd0t64 - 094m-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcdd0t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Library for calculations with convex polytopes, runtime | https://github.com/cddlib/cddlib - apk - cddlib - 0.94m-r2: normalized package name match | Alpine Linux edge package indexes: cddlib from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Library implementing Double Description Method for convex polyhedra | https://people.inf.ethz.ch/fukudak/cdd_home - apk - cddlib-dev - 0.94m-r2: normalized package name match | Alpine Linux edge package indexes: cddlib-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Library implementing Double Description Method for convex polyhedra (development files) | https://people.inf.ethz.ch/fukudak/cdd_home - apk - cddlib-doc - 0.94m-r2: normalized package name match | Alpine Linux edge package indexes: cddlib-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Library implementing Double Description Method for convex polyhedra (documentation) | https://people.inf.ethz.ch/fukudak/cdd_home - apk - cddlib-static - 0.94m-r2: normalized package name match | Alpine Linux edge package indexes: cddlib-static from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Library implementing Double Description Method for convex polyhedra (static library) | https://people.inf.ethz.ch/fukudak/cdd_home - apk - cddlib-tools - 0.94m-r2: normalized package name match | Alpine Linux edge package indexes: cddlib-tools from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Library implementing Double Description Method for convex polyhedra (utilities) | https://people.inf.ethz.ch/fukudak/cdd_home - dnf - cddlib - 0.94n-6.fc45: normalized package name match | Fedora Rawhide package metadata: cddlib from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | A library for generating all vertices in convex polyhedrons | https://people.inf.ethz.ch/fukudak/cdd_home/ - dnf - cddlib-devel - 0.94n-6.fc45: normalized package name match | Fedora Rawhide package metadata: cddlib-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Headers for cddlib | https://people.inf.ethz.ch/fukudak/cdd_home/ ## Liens liés - [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Networking and protocol packages](https://pkg.so/fr/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [Scientific computing packages](https://pkg.so/fr/scientific-computing-tools/) - Matched scientific computing metadata. - [Homebrew utility packages](https://pkg.so/fr/brew-utility-packages/) - Matched Homebrew package provider. - [libtool](https://pkg.so/fr/brew/libtool/) - Build dependency declared by Homebrew. - [autoconf](https://pkg.so/fr/brew/autoconf/) - Build dependency declared by Homebrew. - [automake](https://pkg.so/fr/brew/automake/) - Build dependency declared by Homebrew. - [ppl](https://pkg.so/fr/brew/ppl/) - Shares pkgdb curated category or tags: cli, mathematics, polyhedra, science. - [maxima](https://pkg.so/fr/brew/maxima/) - Shares pkgdb curated category or tags: cli, mathematics, science. - [singular](https://pkg.so/fr/brew/singular/) - Shares pkgdb curated category or tags: cli, mathematics, science. - [pari](https://pkg.so/fr/brew/pari/) - Shares pkgdb curated category or tags: cli, mathematics, science. - [msolve](https://pkg.so/fr/brew/msolve/) - Shares pkgdb curated category or tags: c-library, cli, mathematics, science. - [primecount](https://pkg.so/fr/brew/primecount/) - Shares pkgdb curated category or tags: cli, mathematics, science. - [msieve](https://pkg.so/fr/brew/msieve/) - Shares pkgdb curated category or tags: c-library, cli, mathematics, science. - [primesieve](https://pkg.so/fr/brew/primesieve/) - Shares pkgdb curated category or tags: cli, mathematics, science. - [papilo](https://pkg.so/fr/brew/papilo/) - Local package facts share a topical domain. Shared terms: cli, gmp, linear, linear-programming, programming. ## Combined YAML source View the package source record on GitHub. [combined/cddlib.yml](https://github.com/mxcl/pkgdb/blob/main/combined/cddlib.yml) ## Sources - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph