Paket: libppl-c4 (1:1.2-8.1 und andere) [debports]

[ Quellcode:  ]

Parma Polyhedra Library (C-Schnittstelle)

Die Parma Polyhedra Library (PPL) ist eine C++-Bibliothek für die Manipulation von (nicht unbedingt geschlossenen) konvexen Polyedern und anderen numerischen Abstraktionen. Die Anwendungen umfassen die Analyse von Programmen, optimierte Programmübersetzung, kombinatorische und lineare Optimierung und statistische Datenbearbeitung. Die Bibliothek Parma Polyhedra ist benutzerfreundlich (Sie schreiben » x + 2*y + 5*z <= 7 «, wenn Sie es meinen), vollständig dynamisch (nur der verfügbare virtuelle Speicher beschränkt die Dimension von etwas), geschrieben in Standard-C++, fängt Programmausnahmen ab, ziemlich effizient und sorgfältig dokumentiert.

Dieses Paket bietet die C-Schnittstelle an.

Andere Pakete mit Bezug zu libppl-c4

• dep: libc6.1 (>= 2.4)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC Support-Bibliothek

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Mehrfachgenaue, arithmetische Bibliothek

• dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)

  Bibliothek für mehrfachgenaue Arithmetik (C++-Anbindungen)

• dep: libppl14 (= 1:1.2-8.1+b1)

  Die Parma-Polyhedra-Bibliothek (Laufzeitbibliothek)

• dep: libstdc++6 (>= 11)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

libppl-c4 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1:1.2-8.1+b1	1.120,0 kB	6.237,0 kB	[Liste der Dateien]