Package: libapron (0.9.10-9 and others)

[ Source: apron  ]

Kørselstidsbiblioteker for APRON

APRON-biblioteket er dedikeret til statisk analyse af numeriske variabler for et program ved abstrakt fortolkning. Formålet med sådan en analyse er at udlede invarianter. Det er lavet som en fælles grænseflade til diverse biblioteker/abstrakte domæner og til at tilbyde yderligere tjenester, som kan implementeres uafhængigt fra det underliggende biblioteks-/abstrakt-domæne.

Denne pakke indeholder de delte biblioteker krævet på kørselstidspunktet.

Tags: Role: Shared Library

Other Packages Related to libapron

• dep: libc6 (>= 2.1.3) [i386]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf]

• dep: libgcc1 (>= 1:3.0) [not armhf]

  GCC støttebibliotek

  dep: libgcc1 (>= 1:3.5) [armhf]

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• dep: libmpfr6 (>= 3.1.3)

  Decimaltalsberegning med præcision

• dep: libppl14

  Parma Polyhedra Library (kørselstidsbibliotek)

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

  GNU Standard C++ bibliotek v3

Download libapron

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.9.10-9+b3	478.5 kB	1,712.0 kB	[list of files]
arm64	0.9.10-9+b3	379.2 kB	1,484.0 kB	[list of files]
armhf	0.9.10-9+b4	431.2 kB	1,074.0 kB	[list of files]
i386	0.9.10-9+b3	606.8 kB	2,022.0 kB	[list of files]