cvc5 की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
cvc5, Satisfiability Modulo Theories (SMT) समस्याओं के लिए एक ओपन-सोर्स स्वचालित प्रमेय प्रस्तावक है।
