Package: libapron-dev (0.9.10-9)

Links for libapron-dev

Debian Resources:

Download Source Package apron:

Maintainer:

Debian OCaml Maintainers (QA Page, Mail Archive)

External Resources:

Homepage [apron.cri.ensmp.fr]

Similar packages:

libreria di interpretazione astratta

La libreria APRON è dedicata all'analisi statica di variabili numeriche di un programma tramite interpretazione astratta. Lo scopo di questo tipo di analisi è di inferire invarianti su tali variabili. È pensata per essere un'interfaccia comune a varie librerie o domini astratti sottostanti, e per fornire servizi aggiuntivi che possono essere implementati indipendentemente dalla libreria o dal dominio astratto sottostante.

Questo pacchetto contiene i file necessari per utilizzare la libreria APRON in C.

Tags: Software Development: C Development, Libraries, Testing and QA, Implemented in: implemented-in::c, role::devel-lib, Role: Program, Purpose: Analysing, Checking

Other Packages Related to libapron-dev

depends

recommends

suggests

enhances

dep: libapron

librerie runtime per APRON
dep: libgmp3-dev

libreria aritmetica a precisione multipla, strumenti di sviluppo
dep: libmpfr-dev

calcoli in virgola mobile a precisione multipla, strumenti di sviluppo
dep: libppl-dev

Parma Polyhedra Library (sviluppo)

Download libapron-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	128.9 kB	1,413.0 kB	[list of files]