Dépôts open source suivis de cvc5, triés par étoiles.
cvc5 est un prouveur de théorèmes automatique open source pour les problèmes de Satisfiability Modulo Theories (SMT).
