Descrição
Ajuda a criar programas que precisam de aritmética exata, fórmulas simbólicas e operações de lógica. É uma biblioteca C++ usada por pessoas desenvolvedoras e ferramentas de pesquisa, especialmente em raciocínio automático, verificação e resolução de satisfatibilidade.
Usuários comuns não a abrem como aplicativo. A instalação deixa a biblioteca disponível para programas ou sistemas de compilação que dependem dela, sem lançador separado ou interface gráfica visível.