Descrição
Resolve problemas de programação linear com aritmética exata em vez de aproximações comuns de ponto flutuante. Ajuda pesquisadores e fluxos de otimização a verificar resultados quando precisão numérica é importante.
Use como solver ou biblioteca de otimização. Resultados exatos ainda dependem do modelo, restrições e dados de entrada, então revise formulações antes de usar saídas em decisões operacionais.