Biblioteca para trabalhar com o formato SMTLIB
