Fedora Packages


Tropical Polyhedra Library

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.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.3-72.fc38 -
Fedora 38 1.3-72.fc38 -
Fedora 37 1.3-70.fc37 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at ocaml-tplib dash maintainers at fedoraproject dot org.

Sources on Pagure