Polyhedral Computation in Julia
JuliaPolyhedra is the Julia organization targeted to polyhedral computation. Its packages share a common interface defined in the Polyhedra.jl package.
List of libraries
The following table provides a list of Polyhedra Manipulation Libraries.
When they have a Julia library implementing the interface of
Polyhedra.jl then the "Julia Package" column shows the name of the package.
By convention, if the name of the package is
X, the name of the libary is
For instance, the CDD library can be created with
Some libraries have options such as the solver they use to solve linear programs or
the arithmetic they use.
For instance, to use CDD with exact arithmetic, do
CDDLib.Library() is equivalent to
|Solver||Julia Package||License||Exact Rational||Floating point|
|Parma Polyhedra Library||None||GPL||X|
|porta||None||GPL||X (overflow !)|
Please let me know if you plan to write a new wrapper (or an implementation in pure Julia). Since libraries use different algorithms, no library is better for every problem; here and here are comparisons.