[ Paquet source : ppl ]
Paquet : libppl-swi (1:1.2-8.1)
Liens pour libppl-swi
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ppl :
Responsables :
- Debian Science Team (Page QA, Archive du courrier électronique)
- Tobias Hansen (Page QA)
- Michael Tautschnig (Page QA)
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.
Autres paquets associés à libppl-swi
|
|
|
|
-
- 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
- Bibliothèque arithmétique à multi-précision
-
- dep: libgmpxx4ldbl
- bibliothèque arithmétique multiprécision - points d'entrée C++
-
- dep: libppl14 (= 1:1.2-8.1)
- bibliothèque de polyèdre Parma - bibliothèque d'exécution
-
- dep: libstdc++6 (>= 9)
- bibliothèque standard C++ de GNU v3
-
- dep: swi-prolog
- interpréteur Prolog du style ISO/Edimbourg
-
- dep: swi-prolog-core (>= 8.2.0+dfsg)
- interpréteur Prolog du style ISO/Edimbourg – système de base
Télécharger libppl-swi
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 3 146,7 ko | 27 718,0 ko | [liste des fichiers] |
| arm64 | 2 530,4 ko | 23 668,0 ko | [liste des fichiers] |
| armel | 1 598,4 ko | 11 980,0 ko | [liste des fichiers] |
| armhf | 1 577,0 ko | 11 939,0 ko | [liste des fichiers] |
| i386 | 3 214,8 ko | 21 895,0 ko | [liste des fichiers] |
| mips64el | 2 643,0 ko | 35 310,0 ko | [liste des fichiers] |
| mipsel | 2 365,4 ko | 24 281,0 ko | [liste des fichiers] |
| ppc64el | 2 909,5 ko | 27 754,0 ko | [liste des fichiers] |