| Paketname | libapron-ocaml-dev |
| Beschreibung | An abstract interpretation library |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.9.10-4build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 11768 Byte |
| Hängt ab von | libapron-ocaml-r36y9, ocaml-nox-3.11.2, libapron-dev |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | apron |
| Paketgröße | 3090480 Byte |
| Prüfsumme MD5 | 7126773957875191de98d695861fa2d2 |
| Prüfsumme SHA1 | a2b2887a039dc323070384aacbd3f7bc0ff46ccb |
| Prüfsumme SHA256 | 14d086f30f4ab027ab2c2860766a0ec00304ce1cd256769bc11f0e6aaf5fa097 |
| Link zum Herunterladen | libapron-ocaml-dev_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 files necessary to use the APRON library in OCaml.
|