| De Parma Polyhedra-bibliotheek De Parma Polyhedra-bibliotheek is een moderne C ++ -bibliotheek die numerieke abstracties biedt. |
Download nu |
De Parma Polyhedra-bibliotheek Rangschikking & Samenvatting
- Naam uitgever:
- Roberto Bagnara
- Uitgever website:
- http://www.cs.unipr.it/ppl/
De Parma Polyhedra-bibliotheek Tags
De Parma Polyhedra-bibliotheek Beschrijving
De Parma Polyhedra-bibliotheek is een moderne C ++ -bibliotheek die numerieke abstracties biedt. De Parma Polyhedra-bibliotheek is een moderne C ++ -bibliotheek die numerieke abstracties levert, vooral gericht op aanvragen op het gebied van analyse en verificatie van complexe systemen. De PPL kan alle convexe polyhedra aanhouden die kan worden gedefinieerd als de kruising van een eindig aantal (open of Gesloten) hyperspacs, elk beschreven door een gelijkheid of ongelijkheid (strikt of niet-strikt) met rationele coëfficiënten. De PPL behandelt ook beperkte klassen van polyhedra die interessante complexiteit / precisietarief aanbieden. De bibliotheek ondersteunt ook eindige powersets van (elke vorm van) polyhedra en lineaire programmeerproblemen opgelost met een exact-rekenversie van het Simplex-algoritme. (Meer details zijn beschikbaar op de interne mechanismen van het PPL.) De Parma Polyhedra-bibliotheek is: Gebruikersvriendelijk (u schrijft x + 2 * y + 5 * z Wat is nieuw in deze release: · Detecteer GMP 4.3.0 correct. · Fixed de versieinformatie van de C-interface-bibliotheek. · Testprogramma-tests / Polyhedron / geheugen1 uitgeschakeld op het S390X-platform van ZSeries. · Slafiles zijn vastgesteld om falen van `Make -n Check 'te voorkomen.
De Parma Polyhedra-bibliotheek Gerelateerde software