Package: libapron (0.9.10-5)

[ Source: 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.

Tags: Software Development: C Development, OCaml Development, Libraries, Testing and QA, Implemented in: C, Role: Shared Library, Purpose: Analysing, Checking

Other Packages Related to libapron

• dep: libc6 (>= 2.2)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libmpfr4

  multiple precision floating-point computation

• dep: libppl7

  Parma Polyhedra Library (runtime library)

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

  The GNU Standard C++ Library v3

Download libapron

Download for all available architectures

Architecture	Package Size	Installed Size	Files
mipsel	655.1 kB	1,900.0 kB	[list of files]