Repositorios de código abierto monitorizados de cvc5, ordenados por estrellas.
cvc5 es un demostrador automático de teoremas de código abierto para problemas de Satisfiability Modulo Theories (SMT).
