Polyhedral computation software for solving facet and vertex enumeration problems for convex polyhedra and Fourier-Motzkin elimination: http://sbastrakov.github.io/qskeleton/
Polyhedral computation software for solving facet and vertex enumeration problems for convex polyhedra and Fourier-Motzkin elimination: http://sbastrakov.github.io/qskeleton/