Top 2 polyhedra open source projects

cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination

An efficient implementation of the Double Description Method