| 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
- 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