TPLib: Tropical polyhedra library in OCaml. TPLib is a library manipulating tropical polyhedra. It allows to compute the vertices of tropical polyhedra given by half-spaces, and conversely. It also provides an abstract domain based on tropical polyhedra, inferring min-/max-invariants over programs.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element