https://github.com/juliapolyhedra/xporta.jl

A Julia wrapper for the PORTA polyhedral analysis software.
https://github.com/juliapolyhedra/xporta.jl

julia-wrapper polyhedral-analysis porta

Last synced: over 1 year ago
JSON representation

A Julia wrapper for the PORTA polyhedral analysis software.

• Host: GitHub
• URL: https://github.com/juliapolyhedra/xporta.jl
• Owner: JuliaPolyhedra
• License: gpl-2.0
• Created: 2020-05-15T15:39:50.000Z (about 6 years ago)
• Default Branch: main
• Last Pushed: 2023-12-05T20:26:30.000Z (over 2 years ago)
• Last Synced: 2025-02-22T04:49:07.076Z (over 1 year ago)
• Topics: julia-wrapper, polyhedral-analysis, porta
• Language: Julia
• Homepage: https://juliapolyhedra.github.io/XPORTA.jl/stable/
• Size: 355 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# XPORTA.jl (ALPHA)

*A julia wrapper for the [PORTA](http://porta.zib.de/) polyhedral analysis software.*

[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://JuliaPolyhedra.github.io/XPORTA.jl/dev)[![Test Status](https://github.com/JuliaPolyhedra/XPORTA.jl/actions/workflows/run_tests.yml/badge.svg)](https://github.com/JuliaPolyhedra/XPORTA.jl/actions/workflows/run_tests.yml)

XPORTA provides two features:

 - a thin wrapper around the complete PORTA API

 - an interface to [Polyhedra](https://github.com/JuliaPolyhedra/Polyhedra.jl)

## Documentation

* XPORTA.jl documentation: [JuliaPolyhedra.github.io/XPORTA.jl/dev/](https://JuliaPolyhedra.github.io/XPORTA.jl/dev/)

* Julia distribution of PORTA: [github.com/bdoolittle/julia-porta](https://github.com/bdoolittle/julia-porta)

* Legacy PORTA software: [http://porta.zib.de](http://porta.zib.de/)

## Licensing

PORTA and XPORTA.jl are licensed under the GNU General Public License (GPL) v2.0.

## Use with Polyhedra

To use XPORTA with Polyhedra, use `XPORTA.Library`:

```julia

using Polyhedra, XPORTA

h = hrep(...)

p = polyhedron(h, XPORTA.Library())

```

## Acknowledgments

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.

## Citing

See `PORTA_CITATION.bib` for the relevant references.