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 = (x_1, ..., x_d)^T : b - Ax >= 0 \} {
} where A is a given m×d real matrix, b is a given m-vector, and 0 is the m-vector of all zeros.

WWW: https://people.inf.ethz.ch/fukudak/cdd_home
