Descrição
Fornece suporte para trabalhar com o formato SMTLIB em Haskell. SMTLIB é uma linguagem padrão usada para descrever fórmulas e comandos para resolvedores SMT.
É útil para ferramentas de verificação, raciocínio simbólico, integrações com resolvedores, geradores de testes e software de pesquisa. É uma biblioteca para desenvolvedores e não inclui um resolvedor completo por si só.