Các kho mã nguồn mở đang theo dõi của cvc5, sắp xếp theo số sao.
cvc5 là một trình chứng minh định lý tự động mã nguồn mở cho các bài toán Satisfiability Modulo Theories (SMT).
