cddlib ☆
« Back to VersTracker
Description:
Double description method for general polyhedral cones
Type: Formula  |  Latest Version: 0.94n@0  |  Tracked Since: Dec 17, 2025
Links: Homepage  |  formulae.brew.sh
Category: Other
Tags: computational-geometry polyhedra mathematics c-library
Install: brew install cddlib
About:
cddlib is a C library for generating the double description of a convex polyhedron or cone. It provides a robust implementation of the Fourier-Motzkin elimination method, enabling efficient computation of vertex-facet representations. This tool is essential for computational geometry tasks requiring polyhedral representation conversion.
Key Features:
  • Implements the Fourier-Motzkin elimination algorithm
  • Handles rational and integer input data via GMP
  • Provides a C library API for integration
  • Supports both convex polyhedra and cones
Use Cases:
  • Polyhedral computation in compiler optimization research
  • Computational geometry and discrete mathematics research
  • Generating vertex-facet representations for linear programming
Alternatives:
  • lrs – lrs is another reverse search vertex enumeration tool, often faster for certain polytope classes.
  • polymake – polymake is a comprehensive suite that includes polyhedral computation tools but is much larger than cddlib.
License: GPL-2.0-or-later
Dependencies: gmp
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, arm64_ventura, sonoma, ventura, arm64_linux, x86_64_linux
Version History
Detected Version Rev Change Commit
Sep 13, 2025 4:23am 0 VERSION_BUMP 70394a6e
Sep 11, 2025 9:59pm 0 VERSION_BUMP bda5cf1a
Sep 11, 2024 12:02pm 0 VERSION_BUMP 39b9f849
« Back to VersTracker  |  Browse Packages  |  About