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

Liens pour libppl-swi

Ressources Debian :

Télécharger le paquet source ppl :

Responsables :

Ressources externes :

Page d'accueil [www.cs.unipr.it]

Paquets similaires :

bibliothèque de polyèdres Parma –⋅interface SWI Prolog

La bibliothèque de polyèdres 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 virtuelle disponible étant la seule limite aux dimensions de ce qui est analysé), écrite en C++ standard, exempte d'exceptions, plutôt efficace et largement documentée.

Ce paquet fournit l'interface SWI Prolog.

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

Autres paquets associés à libppl-swi

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.14) [amd64]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.4) [non amd64, arm64, ppc64el]
dep: libgcc-s1 (>= 3.0) [non armel, armhf, mipsel]

bibliothèque de prise en charge de GCC

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

dep: libgcc-s1 (>= 4.2) [mipsel]
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Bibliothèque arithmétique à multi-précision
dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)

bibliothèque arithmétique multiprécision - points d'entrée C++
dep: libppl14 (= 1:1.2-8.1+b1)

bibliothèque de polyèdre Parma - bibliothèque d'exécution
dep: libstdc++6 (>= 11)

bibliothèque standard C++ de GNU v3
dep: libswipl9

paquet virtuel fourni par swi-prolog-core
dep: swi-prolog

interpréteur Prolog du style ISO/Edimbourg

Télécharger libppl-swi

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1:1.2-8.1+b1	3 071,2 ko	26 989,0 ko	[liste des fichiers]
arm64	1:1.2-8.1+b1	2 497,5 ko	23 905,0 ko	[liste des fichiers]
armel	1:1.2-8.1+b1	1 544,8 ko	11 716,0 ko	[liste des fichiers]
armhf	1:1.2-8.1+b1	1 539,7 ko	11 660,0 ko	[liste des fichiers]
i386	1:1.2-8.1+b1	3 151,3 ko	21 518,0 ko	[liste des fichiers]
mips64el	1:1.2-8.1+b1	2 557,7 ko	34 965,0 ko	[liste des fichiers]
mipsel	1:1.2-8.1+b1	2 331,9 ko	23 919,0 ko	[liste des fichiers]
ppc64el	1:1.2-8.1+b1	2 854,5 ko	27 614,0 ko	[liste des fichiers]