Descrição
Expõe a Parma Polyhedra Library ao Python para cálculos com poliedros e abstrações numéricas. É útil em métodos formais, análise estática, otimização e ferramentas de pesquisa matemática.
É uma biblioteca especializada para fluxos avançados. Valide pressupostos e modelos numéricos com cuidado ao usar em verificação, análise de segurança ou conclusões de pesquisa.