PORTA - POlyhedron Representation Transformation Algorithm.
 
Current Release

Version 1.4.1
Authors

Thomas Christof, Andreas Löbel
Documentation

README
Supported Platforms

Gnu make (e.g., Linux/Unix/Cygwin)

MS Visual C++ 9.0
License Conditions

Gnu general public license
No Support

Originally, PORTA has been written by Thomas Christof and not by myself, and I still do not know all implementation details. Thomas has left the academic world a long time ago.

In general, I do not have enough free time to give support for PORTA. If you encounter difficulties with PORTA, you can send me your input file together with a short problem description (don't forget to specify the used operating system). However, I can neither promise that I can treat your special problem in the near future nor at any time. Thus, please do not expect to receive any response to your bug report or support request.
Further Development

We decided to distribute PORTA under the Gnu GPL hoping that the community may provide improvements for this software. Therefore, you are invited to debug and improve PORTA. I would appreciate every improvement from you to provide a more stable version to all in the future.
Download

Source packages (including Win32 binaries):  tgz or zip
Related Links

CDD of Komei Fukuda

The Parma Polyhedral Library

Polytope and polyhedron algorithms on ZIB elib
Disclaimer of warranty: No warranty whatsoever is given for the content of external links.  The content of linked pages is solely the responsibility of the providers of those pages. Last Update: September 21, 2009
by Andreas Löbel