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

[ Paquet source : ppl  ]

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

• dep: libc6 (>= 2.4)

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

• dep: libgcc-s1 (>= 3.0)

  bibliothèque de prise en charge de GCC

• 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

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
mips64el	2 643,0 ko	35 310,0 ko	[liste des fichiers]