• TPLib

    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.