Information for RPM ocaml-tplib-1.3-56.fc33.rvre0.src.rpm
ID | 781559 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ocaml-tplib | ||||||||||||||||||||||||
Version | 1.3 | ||||||||||||||||||||||||
Release | 56.fc33.rvre0 | ||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||
Arch | src | ||||||||||||||||||||||||
Summary | Tropical Polyhedra Library | ||||||||||||||||||||||||
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. | ||||||||||||||||||||||||
Build Time | 2021-04-25 08:02:29 GMT | ||||||||||||||||||||||||
Size | 124.19 KB | ||||||||||||||||||||||||
265fc1c5b438c63dad2a932e003dfb63 | |||||||||||||||||||||||||
License | LGPLv2+ | ||||||||||||||||||||||||
Buildroot | f33-build-597523-66943 | ||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||
Component of | No Buildroots |