Alle Optionen
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Quellcode: apron  ]

Paket: libapron (0.9.10-9 und andere)

Links für libapron

Screenshot

Debian-Ressourcen:

Quellcode-Paket apron herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libapron

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libapron herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 0.9.10-9+b1 472,7 kB1.720,0 kB [Liste der Dateien]
arm64 0.9.10-9+b1 369,7 kB1.484,0 kB [Liste der Dateien]
armel 0.9.10-9+b1 414,9 kB1.518,0 kB [Liste der Dateien]
armhf 0.9.10-9+b1 429,7 kB1.075,0 kB [Liste der Dateien]
i386 0.9.10-9+b1 597,3 kB1.994,0 kB [Liste der Dateien]
mips 0.9.10-9+b1 451,9 kB1.819,0 kB [Liste der Dateien]
mips64el 0.9.10-9+b1 381,3 kB1.730,0 kB [Liste der Dateien]
mipsel 0.9.10-9+b1 460,6 kB1.817,0 kB [Liste der Dateien]
ppc64el 0.9.10-9+b1 406,3 kB2.112,0 kB [Liste der Dateien]
s390x 0.9.10-9+b1 408,8 kB1.817,0 kB [Liste der Dateien]