Repositórios de código aberto acompanhados de stp, ordenados por estrelas.
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
