Paketti: libapron-dev (0.9.10-9.1)

Links for libapron-dev

Debian-palvelut:

Imuroi lähdekoodipaketti apron:

Ylläpitäjä:

Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)

External Resources:

Kotisivu [apron.cri.ensmp.fr]

Samankaltaisia paketteja:

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.

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

Muut pakettiin libapron-dev liittyvät paketit

depends

recommends

suggests

enhances

dep: libapron

runtime libraries for APRON
dep: libgmp3-dev

Multiprecision arithmetic library developers tools
dep: libmpfr-dev

multiple precision floating-point computation developers tools
dep: libppl-dev

Parma Polyhedra Library (development)

Imuroi libapron-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	128.6 kt	1,414.0 kt	[tiedostoluettelo]