Esta é uma biblioteca para ajudar a trabalhar com conjuntos e relações de pontos inteiros que estão limitados por
restrições lineares. Ela é chamada de 'libisl15' e é útil para quem trabalha com matemática ou computação.Com ela, é possível fazer coisas como criar conjuntos a partir de equações, unir
conjuntos, encontrar a interseção entre eles e muito mais.
