Descrição
Fornece suporte a valores simbólicos independente de solver para emitir consultas a partir de Haskell. Valores simbólicos permitem que ferramentas descrevam restrições e perguntem a solvers externos sobre estados possíveis de programas ou dados.
É útil para verificação, execução simbólica, análise de programas, ferramentas apoiadas por teoremas e pesquisa de segurança. Resultados dependem das capacidades do solver e de quão bem as restrições modelam o problema real.