| La biblioteca de Polyedra Parma La biblioteca Parma Polyhedra es una biblioteca moderna de C ++ que proporciona abstracciones numéricas. |
Descargar ahora |
La biblioteca de Polyedra Parma Clasificación y resumen
- Nombre del editor:
- Roberto Bagnara
- Sitio web del editor:
- http://www.cs.unipr.it/ppl/
La biblioteca de Polyedra Parma Etiquetas
La biblioteca de Polyedra Parma Descripción
La biblioteca Parma Polyhedra es una biblioteca moderna de C ++ que proporciona abstracciones numéricas. La biblioteca Parma Polyhedra es una biblioteca moderna de C ++ que proporciona abstracciones numéricas especialmente dirigidas a las aplicaciones en el campo del análisis y la verificación de sistemas complejos. La PPL puede manejar todas las poliedros convexos que se pueden definir como la intersección de un número finito de (abierto o Cerrado) Hyperespaces, cada una descrita por una igualdad o desigualdad (estricta o no estricta) con coeficientes racionales. La PPL también maneja las clases restringidas de poliedros que ofrecen interesantes complejos / precisiones. La biblioteca también admite los pozos finitos de (cualquier tipo de tipo de) poliedros y problemas de programación lineales resueltos con una versión exacta aritmética del algoritmo simplex. (Más detalles están disponibles en los mecanismos internos de la PPL). La biblioteca de Polyhedra Parma es: fácil de usar (escribe x + 2 * y + 5 * z lo que hay más nuevo en esta versión: · Detectar correctamente GMP 4.3.0. · Se corrigió la información de la versión de la biblioteca de la interfaz C. · Pruebas de prueba de pruebas / poliedro / memoria1 deshabilitado en la plataforma ZSeries S390X. · MakeFiles fijados para evitar el fracaso de `make -n cheque '.
La biblioteca de Polyedra Parma Software relacionado