Monday, March 2, 2015

[DMANET] PANDA: a new software for polyhedral transformations

Dear colleagues,

we would like to announce PANDA to the general public. Our software package
PANDA (Parallel AdjaceNcy Decomposition Algorithm) allows for
transformation of linear descriptions of polytopes and polyhedra.

The key features of PANDA are:
* Vertex enumeration and facet enumeration of polytopes and polyhedra
* User choice of double description method and adjacency decomposition
* Use of symmetry information for compact representation (input & output)
as well as faster computation
* Use of modern multi-core hardware right out of the box (manual control of
number of concurrent threads possible, but optional)
* Ready for use on clusters (MPI required)
* Compatibility with PORTA format
* Correctness guarantee with arbitrary precision integer type or overflow
guarded integer type

For details on usage of the software, please visit the PANDA

We highly value feedback! If you encounter compilation issues or found a
run time bug, please do not hesitate to contact our developer Stefan Lörwald.
Please use the email address provided in the README file of the
downloadable package
and include the version information in your bug report.

The software is available free of charge under the Creative Commons
Attribution-NonCommercial 4.0 International License. You'll find the latest
version on

Best regards

Stefan Lörwald, Gerhard Reinelt
Research Group Discrete and Combinatorial Optimization
Institut für Informatik, Ruprecht-Karls-Universität Heidelberg
Im Neuenheimer Feld 368, D-69120 Heidelberg

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.