Paquet : libapron-dev (0.9.10-9.1)
Liens pour libapron-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source apron :
Responsable :
Ressources externes :
- Page d'accueil [apron.cri.ensmp.fr]
Paquets similaires :
bibliothèque d'interprétation abstraite
La bibliothèque APRON est dédiée à l'analyse statique des variables numériques d'un programme par interprétation abstraite. Le but d'une telle analyse est d'inférer des invariants sur ces variables. La bibliothèque est destinée à être une interface commune à divers domaines abstraits ou bibliothèques sous-jacents et de fournir des services supplémentaires qui peuvent être implémentés indépendamment de la bibliothèque ou du domaine abstrait sous-jacent.
Ce paquet fournit les fichiers nécessaires à l'utilisation de la bibliothèque APRON dans C.
Autres paquets associés à libapron-dev
|
|
|
|
-
- dep: libapron
- bibliothèques d'exécution pour APRON
-
- dep: libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- dep: libmpfr-dev
- multiple precision floating-point computation developers tools
-
- dep: libppl-dev
- bibliothèque de polyèdres Parma –⋅développement
Télécharger libapron-dev
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 128,6 ko | 1 414,0 ko | [liste des fichiers] |