Pyfme

Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy