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