| Paketname | libapron-dev |
| Beschreibung | an abstract interpretation library |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.9.10-5 |
| Sektion | libdevel |
| Priorität | optional |
| Installierte Größe | 1644 Byte |
| Hängt ab von | libgmp3-dev, libmpfr-dev, libppl0.10-dev |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron |
| Paketgröße | 192314 Byte |
| Prüfsumme MD5 | b5f3e954e68ff4bc5f2204d309679f0b |
| Prüfsumme SHA1 | 9b49c2dec4b0f52fd7c31a42db6c74f6659d2eb9 |
| Prüfsumme SHA256 | ede47835cc9a07b3e22a65043c35fef278c906de40c48b30759bd539285db156 |
| Link zum Herunterladen | libapron-dev_0.9.10-5_all.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 files necessary to use the APRON library in C.
|