toutes les options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Paquet source : apron  ]

Paquet : libapron-dev (0.9.10-5.2)

Liens pour libapron-dev


Ressources Debian :

Télécharger le paquet source apron :

Responsables :

Ressources externes :

Paquets similaires :

an abstract interpretation library

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.

Étiquettes: Développement de logiciel: Programmation C, Bibliothèques, Tests et assurance qualité, Mis en œuvre en: implemented-in::c, role::devel-lib, But: Analyse, Vérification

Autres paquets associés à libapron-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libapron-dev

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 192,7 ko1 636,0 ko [liste des fichiers]