Paketname | libapron |
Beschreibung | Runtime libraries for APRON |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 0.9.10-4build1 |
Sektion | universe/libs |
Priorität | optional |
Installierte Größe | 1656 Byte |
Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp3c2, libmpfr1ldbl, libppl7, libstdc++6 (>= 4.1.1) |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | apron |
Paketgröße | 704694 Byte |
Prüfsumme MD5 | 8ad2db62561439f5833983d662485d4f |
Prüfsumme SHA1 | e01f5ccefcaab981df7bb45bf45b5578dd182e4a |
Prüfsumme SHA256 | 214ae94d173d00afd6df34090ef834ca57f1c1a27be21ff855f5dd2c8ed18799 |
Link zum Herunterladen | libapron_0.9.10-4build1_i386.deb |
Ausführliche Beschreibung | The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an analysis
is to infer invariants about these variables. It is intended to be a common
interface to various underlying libraries/abstract domains and to provide
additional services that can be implemented independently from the underlying
library/abstract domain.
.
This package contains the shared libraries needed at runtime.
|