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.
