Biblioteca para manipular conjuntos e relações de pontos inteiros limitados por restrições lineares
