Пакет: libapron (0.9.10-9 и другие)

[ Источник: apron  ]

runtime libraries for APRON

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 shared libraries needed at runtime.

Теги: Роль: Динамическая библиотека

Другие пакеты, относящиеся к libapron

• dep: libc6 (>= 2.4)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libgcc1 (>= 1:3.5)

  вспомогательная библиотека GCC

• dep: libgmp10

  библиотека для работы с числами произвольной точности

• dep: libmpfr6 (>= 3.1.3)

  вычисления с плавающей точкой повышенной точности

• dep: libppl14

  Parma Polyhedra Library (runtime library)

• dep: libstdc++6 (>= 5)

  стандартная библиотека GNU C++ версии 3

Загрузка libapron

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
armhf	0.9.10-9+b4	431,2 Кб	1 074,0 Кб	[список файлов]