- Name: ocaml-tplib
- Version: 1.3
- Release: 3.fc19
- Epoch:
- Group: Unspecified
- License: LGPLv2+
- Url: https://gforge.inria.fr/projects/tplib
- Summary: Tropical Polyhedra Library
- Architecture: x86_64
- Size: 120124
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch: alpha, armv3l, armv4b, armv4l, armv4tl, armv5tel, armv5tejl, armv6l, armv7l, armv7hl, armv7hnl, i386, i486, i586, i686, pentium3, pentium4, athlon, geode, ia64, x86_64, ppc, sparc, sparcv9, ppc64
- Cookie: buildvm-10.phx2.fedoraproject.org 1371834077
- Buildhost: buildvm-10.phx2.fedoraproject.org