Highlight Polyhedra.jl

[jd-foster]

CDDLib is listed under solvers: https://jump.dev/JuMP.jl/dev/packages/CDDLib/
A question came up on Slack about using it from JuMP, since it wasn't apparent from the "Installation Guide" table that there was an interface via https://github.com/JuliaPolyhedra/Polyhedra.jl
Perhaps there can be a sentence, section or new category under Supported solvers for "PCL = Polyhedral Computation Libraries" or similar?

[blegat]

To use it with JuMP, you should just use CDDLib.Optimizer (as detailed here: https://github.com/JuliaPolyhedra/CDDLib.jl/#use-with-jump), you're not using the Polyhedra.jl interface when you're using CDDLib.Optimizer.

[odow]

We also use CDDLib in the docs here: https://jump.dev/JuMP.jl/stable/tutorials/conic/arbitrary_precision/#Rational-arithmetic

[odow]

Also cdd is in the list of supported solvers

[odow]

I saw the question on Slack. I'm not really sure what needs to be changed in the JuMP docs.

[jd-foster]

Appreciate the info. I guess even just a sentence in the intro materials to say "you can do polyhedral computation things from JuMP: load CDD"?

[odow]

Isn't this more asking for better documentation about JuMP support in Polyhedra?

So far, it's really just:

https://juliapolyhedra.github.io/Polyhedra.jl/stable/optimization/#Creating-a-polyhedron-from-the-feasible-set-of-a-JuMP-model

[jd-foster]

Sure. I guess I'm thinking about discoverability of Polyhedra from the perspective of someone coming from the JuMP side? It's not exactly When should you not use JuMP? but, the case of: "You want to do polydehral computations"? Then give the link to
https://juliapolyhedra.github.io/Polyhedra.jl/stable/optimization/#Creating-a-polyhedron-from-the-feasible-set-of-a-JuMP-model

[odow]

Is this what you were thinking: #3542?

[jd-foster]

👌🏻 Looks good