Die Parma-Polyhedra-Bibliothek

Die Parma-Polyhedra-Bibliothek ist eine moderne C ++ - Bibliothek, die numerische Abstraktionen bereitstellt.
Jetzt downloaden

Die Parma-Polyhedra-Bibliothek Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Roberto Bagnara
  • Website des Verlags:
  • http://www.cs.unipr.it/ppl/

Die Parma-Polyhedra-Bibliothek Stichworte


Die Parma-Polyhedra-Bibliothek Beschreibung

Die Parma-Polyhedra-Bibliothek ist eine moderne C ++ - Bibliothek, die numerische Abstraktionen bereitstellt. Die Parma-Polyhedra-Bibliothek ist eine moderne C ++ - Bibliothek, die numerische Abstraktionen bereitstellt, die insbesondere auf Anwendungen im Bereich der Analyse und der Überprüfung komplexer Systeme ausgerichtet sind. Der PPL kann alle konvexen Polyeder behandeln, die als Kreuzung einer endlichen Zahl von (offen oder Geschlossene) HyperSpaces, die jeweils von einer Gleichheit oder Ungleichheit (streng oder nicht streng) mit rationalen Koeffizienten beschrieben werden. Die PPL übernimmt auch eingeschränkte Klassen von Polyhedra, die interessante Komplexitäts- / Präzisions-Kompromisse bieten. Die Bibliothek unterstützt auch endliche Powersets von (beliebigen Arten von Polyhedra- und linearen Programmierproblemen, die mit einer exakten arithmetischen Version des Simplex-Algorithmus gelöst werden. (Weitere Angaben sind auf den internen Mechanismen der PPL verfügbar.) Die Parma-Polyhedra-Bibliothek ist: benutzerfreundlich (Sie schreiben X + 2 * y + 5 * Z, was in dieser Version Neu ist: · GMP 4.3.0 richtig erkennen. · Die Version der C-Schnittstellenbibliothek behoben. · Testprogrammtests / Polyeder / Memory1 auf der Plattform ZSERIES S390X deaktiviert. · Makefiles fixiert, um das Scheitern des MAST-N-Checks zu vermeiden.


Die Parma-Polyhedra-Bibliothek Zugehörige Software

von Camel

Ein Skript, um Python-Dateien von der CAMEL-Fallvariablen zu konvertieren, die auf die Unterstrich-Variable nennen ...

158

Herunterladen