Letter O

ocaml-tplib - Tropical Polyhedra Library

Website: https://gforge.inria.fr/projects/tplib
License: LGPLv2+
Vendor: Alcance Libre, Inc.
TPLib computes a description by means of vertices 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-/max- invariants over programs.


ocaml-tplib-1.3-29.fc14.al.src [118 KiB] Changelog by Richard W.M. Jones (2017-08-09):
- OCaml 4.05.0 rebuild.

Listing created by Repoview-0.6.6-6.fc14.al