- http://www2.iwr.uni-heidelberg.de/groups/comopt/software/PORTA/ - PORTA is a collection of routines for analyzing polytopes and polyhedra. [[:not yet:]]