Repositórios de código aberto acompanhados de cvc5, ordenados por estrelas.
cvc5 é um provador de teoremas automático de código aberto para problemas de Satisfiability Modulo Theories (SMT)
