ocaml-tplib - Tropical Polyhedra Library
| Website: | https://gforge.inria.fr/projects/tplib |
|---|---|
| License: | LGPLv2+ |
| Vendor: | Alcance Libre, Inc. |
- Description:
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.
Packages
| ocaml-tplib-1.3-29.fc14.al.src [118 KiB] |
Changelog
by Richard W.M. Jones (2017-08-09):
- OCaml 4.05.0 rebuild. |