TPLib: Tropical Polyhedra Library




TPLib is a library manipulating tropical polyhedra, ie the analogues of convex polyhedra in tropical algebra. Tropical algebra deals with structures like the max-plus semiring, which is the set ℝ ∪ {−∞} endowed with max as addition and + as multiplication.

TPLib allows to compute a description by extreme points and rays of tropical polyhedra defined by means of inequalities, and conversely.

It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min- and/or max-invariants over programs.

Further details can be found in the README.

Distribution

TPLib is written in OCaml, and is distributed under the LGPL. Its source code is available here.