Polyhedra no longer supported?

Hi. I have Julia v1.2.0 running with Atom v1.40.1.

I want to do some Fourier-Motzkin elimination, and I found the CDDLip.jl, and the Polyhedra.jl interface. The Polyhedra documentation says “Polyhedra supports Julia v0.4 to Julia v1.0 but the latest version only supports Julia v0.7 and v1.0.”

Do I have to downgrade my Julia version to use Polyhedra? Do I need to use Polyhedra?

Any advice is appreciated.

Looking at the Travis logs https://travis-ci.org/JuliaPolyhedra/Polyhedra.jl it seems to work fine on 1.0, 1.1, 1.2, 1.3. When a package says that it supports 1.0 it usually means 1.0+ since it shouldn’t really break with new Julia releases.