Descrição
Conjuntos e relações de pontos inteiros limitados por restrições lineares podem ser manipulados por compiladores e ferramentas matemáticas.
É útil para desenvolvedores que trabalham com otimização poliédrica, geração de código, escalonamento ou análise estática. Como snapshot de desenvolvimento, o comportamento pode mudar, então fixe versões para builds reproduzíveis.