cddlib is a C library implementation of the Double Description Method. Given a
convex polyhedron P in R^n, it can be used to change between the V- and
H-representation and to solve linear programming problems over P.

WWW: https://github.com/cddlib/cddlib