Existe uma forma simples de se interagir com um processo SMT (Satisfiability Modulo Theories), que é utilizando a linguagem de programação Haskell. Com ela, é possível criar uma biblioteca simples para se comunicar com o solver, enviando comandos e recebendo respostas. Haskell-simple-smt é uma biblioteca desenvolvida em Haskell que permite essa interação com o solver. Ela é simples de usar e foi projetada para ser fácil de entender e modificar. Com ela, você pode resolver problemas de satisfabilidade de forma eficiente e rápida. 