cvc5의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
cvc5는 SMT(Satisfiability Modulo Theories) 문제를 위한 오픈소스 자동 정리 증명기입니다.
