Пакет: libapron-dev (0.9.10-9.1)

Връзки за libapron-dev

Ресурси за Debian:

Изтегляне на пакет-източник apron.

Отговорник:

Debian OCaml Maintainers (Страница за QA, Пощенски архив)

Външни препратки:

Начална страница [apron.cri.ensmp.fr]

Подобни пакети:

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.

Етикети: Software Development: C Development, Библиотеки, Testing and QA, Implemented in: implemented-in::c, role::devel-lib, Role: Program, Purpose: Analysing, Checking

Други пакети, свързани с libapron-dev

зависимости

препоръчани

предложени

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)

Изтегляне на libapron-dev

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	128,6 кБ	1 414,0 кБ	[списък на файловете]