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

Ссылки для libapron-dev

Ресурсы Debian:

Исходный код apron:

Сопровождающий:

Debian OCaml Maintainers (Страница КК, Почтовый архив)

Внешние ресурсы:

Сайт [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.

Теги: Разработка программного обеспечения: Разработка на C, Библиотеки, Тестирование и обеспечение качества, Реализовано на: implemented-in::c, role::devel-lib, Роль: Программа, Цель: Анализ, Проверка

Другие пакеты, относящиеся к 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 Кб	[список файлов]