is a library written in OCaml, which allows to manipulate tropical polyhedra.
It implements in particular algorithms allowing to pass from an external representation of a polyhedron to an internal description, or inversely.
It provides all the primitives allowing to use tropical polyhedra as a numerical abstract domain, in order to determine program/system invariants involving the operations min and max.
is a library written in C, which allows to solve large scale zero-sum two player stochastic games with mean reward or discounted reward.
It combines policy iteration algorithm and multigrid methods.