cddlib: Double description method for polyhedral representation conversion#
Description#
The C-library cddlib is a C implementation of the Double Description Method of Motzkin et al. for generating all vertices (i.e. extreme points) and extreme rays of a general convex polyhedron in R^d given by a system of linear inequalities:
P = { x=(x1, …, xd)^T : b - A x >= 0 }
where A is a given m x d real matrix, b is a given m-vector and 0 is the m-vector of all zeros.
The program can be used for the reverse operation (i.e. convex hull computation). This means that one can move back and forth between an inequality representation and a generator (i.e. vertex and ray) representation of a polyhedron with cdd. Also, cdd can solve a linear programming problem, i.e. a problem of maximizing and minimizing a linear function over P.
License#
GPL v2
Upstream Contact#
Type#
standard
Dependencies#
$(MP_LIBRARY)
Version Information#
package-version.txt:
0.94m
Equivalent System Packages#
arch:
$ sudo pacman -S cddlib
conda:
$ conda install cddlib
cygwin:
$ apt-cyg install cddlib-devel cddlib-tools
Debian/Ubuntu:
$ sudo apt-get install libcdd-dev libcdd-tools
Fedora/Redhat/CentOS:
$ sudo yum install cddlib
freebsd:
$ sudo pkg install math/cddlib
gentoo:
$ sudo emerge sci-libs/cddlib
homebrew:
$ brew install cddlib
macports: install the following packages: cddlib
nix:
$ nix-env --install cddlib
opensuse:
$ sudo zypper install cddlib-tools "pkgconfig(cddlib)"
void:
$ sudo xbps-install cddlib-devel
See https://repology.org/project/cddlib/versions
If the system package is installed, ./configure will check whether it can be used.