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

bibliothèque de polyèdres Parma –⋅développement

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 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 les fichiers d'en-tête et les bibliothèques statiques pour les interfaces⋅C et⋅C++.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :