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.