Repositórios de código aberto acompanhados de pysmt, ordenados por estrelas.
pySMT: Uma biblioteca para manipulação e resolução de fórmulas SMT
