Descrição
Conjuntos inteiros, mapas e operações poliédricas da isl podem ser usados em Python. Desenvolvedores de compiladores e computação científica usam islpy em escalonamento, análise de dependências e algoritmos de conjuntos inteiros. Resultados matemáticos devem ser validados contra restrições esperadas.