Try v7.2 beta

David Avis just let us know that the beta of v7.2 is  now available at http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/beta/.
It now has support for Fourier-Motzkin elimination so we could add support for `Polyhedra.eliminate(::LRSLib.Polyhedron, ::Polyhedra.FourierMotzkin)`
See https://juliapolyhedra.github.io/Polyhedra.jl/dev/projection/#Polyhedra.eliminate