Descrição
Forneça abstrações numéricas, como poliedros convexos, para análise estática, verificação, otimização e software matemático. Ela ajuda desenvolvedores a representar restrições e raciocinar sobre relações numéricas com precisão.
É uma biblioteca para software técnico, não um aplicativo para usuário final. Resultados corretos dependem da abstração escolhida e de como o programa chamador modela o problema.