A julia wrapper for the PORTA polyhedral analysis software.
!!! note "Alpha Version" XPORTA.jl is a minimal viable product. Breaking changes may occur in future commits.
- Read/Write utilities for PORTA files.
- File IO handler for PORTA routines.
- No compilation of source code.
- No required knowledge of the PORTA software.
- No need to read/write files required by PORTA.
- Users all run the same PORTA binaries.
"A collection of [C] routines for analyzing polytopes and polyhedra." -(http://porta.zib.de)
PORTA (POlyhedron Representation Transformation Algorithm) is a rational polyhedral solver. Polyhedra are described either by the vertex representation or by the halfspace representation. For an introduction to PORTA and polyhedral theory please review these slides.
PORTA and XPORTA.jl are licensed under the GNU General Public License (GPL) v2.0.
Development of XPORTA.jl was made possible by the advisory of Dr. Eric Chitambar and general support from the Physics Department at the University of Illinois Urbana-Champaign. Funding was provided by NSF Award 1914440.
See PORTA_CITATION.bib
for the relevant references.
Pages = ["user_guide.md", "exports.md", "Internals/wrapping_porta.md", "Internals/file_io.md", "Internals/binaries.md", "development_guide.md"]
Depth = 1
Pages = ["exports.md"]
Pages = ["Internals/file_io.md"]
Pages = ["Internals/binaries.md"]