Paquet : libppl-c4 (1:1.2-8.1 et autres)

[ Paquet source : ppl  ]

bibliothèque de polyèdres Parma - interfaces C

La bibliothèque de polyèdre Parma (« Parma Polyhedra Library » ou PPL) est une bibliothèque C++ de manipulation de polyèdres convexes (pas forcément fermés) et autres abstractions numériques. Les applications de polyèdres convexes peuvent être l'analyse de programme, la compilation optimisée, l'optimisation entière et combinatoire et l'édition de données statistiques. La bibliothèque est simple d'utilisation (il suffit d'écrire ce qu'on souhaite, par exemple « x + 2*y + 5*z <= 7 »), totalement dynamique (la mémoire dynamique disponible étant la seule limite aux dimensions de ce qui est analysé), écrite en C++, exempte d'exceptions, plutôt efficace et largement documentée.

Ce paquet fournit l'interface C.

Étiquettes: Rôle: Bibliothèque partagée

Autres paquets associés à libppl-c4

• dep: libc6 (>= 2.11) [hppa]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.38) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, sparc64, x32]

  dep: libc6 (>= 2.4) [armel, armhf, i386, m68k]

• dep: libc6.1 (>= 2.29) [ia64]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

• dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, ia64, m68k]

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libgmp10 [hppa, ia64]

  Bibliothèque arithmétique à multi-précision

  dep: libgmp10 (>= 2:6.3.0+dfsg) [non hppa, ia64]

• dep: libgmpxx4ldbl [hppa, ia64]

  bibliothèque arithmétique multiprécision - points d'entrée C++

  dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [non hppa, ia64]

• dep: libppl14 (= 1:1.2-8) [ia64]

  bibliothèque de polyèdre Parma - bibliothèque d'exécution

  dep: libppl14 (= 1:1.2-8.1) [hppa]

  dep: libppl14 (= 1:1.2-8.1+b2) [alpha, sh4]

  dep: libppl14 (= 1:1.2-8.1+b3) [non alpha, hppa, ia64, sh4]

• dep: libstdc++6 (>= 13.1) [non hppa, ia64]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 9) [hppa, ia64]

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

Télécharger libppl-c4

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1:1.2-8.1+b2	1 123,7 ko	6 237,0 ko	[liste des fichiers]
amd64	1:1.2-8.1+b3	1 322,9 ko	4 896,0 ko	[liste des fichiers]
arm64	1:1.2-8.1+b3	1 024,8 ko	4 380,0 ko	[liste des fichiers]
armel	1:1.2-8.1+b3	783,0 ko	3 048,0 ko	[liste des fichiers]
armhf	1:1.2-8.1+b3	776,8 ko	3 032,0 ko	[liste des fichiers]
hppa (portage non officiel)	1:1.2-8.1	1 142,7 ko	5 796,0 ko	[liste des fichiers]
i386	1:1.2-8.1+b3	1 351,9 ko	5 069,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1:1.2-8	1 243,6 ko	9 921,0 ko	[liste des fichiers]
m68k (portage non officiel)	1:1.2-8.1+b3	1 117,3 ko	4 866,0 ko	[liste des fichiers]
mips64el	1:1.2-8.1+b3	820,6 ko	5 984,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1:1.2-8.1+b3	1 124,9 ko	5 942,0 ko	[liste des fichiers]
ppc64el	1:1.2-8.1+b3	1 148,7 ko	5 468,0 ko	[liste des fichiers]
riscv64	1:1.2-8.1+b3	1 194,3 ko	3 587,0 ko	[liste des fichiers]
s390x	1:1.2-8.1+b3	1 174,3 ko	4 784,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1:1.2-8.1+b2	945,3 ko	3 668,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1:1.2-8.1+b3	961,8 ko	5 381,0 ko	[liste des fichiers]
x32 (portage non officiel)	1:1.2-8.1+b3	1 322,6 ko	4 743,0 ko	[liste des fichiers]