येथे cvc5 च्या १ आवृत्ती आहेत, पासून सध्याच्या 1.4.2 पर्यंत. प्रत्येक आवृत्तीची लिंक प्रकाशकाच्या स्वतःच्या इन्स्टॉलर फाइल्सकडे जाते.
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 1.4.2नवीनतम | — | 64-बिट ZIPARM64 ZIP |
cvc5 च्या जुन्या आवृत्त्या डाउनलोड करा
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- लायसन्सओपन सोर्स
- आवृत्ती1.4.2
- आवश्यक सिस्टमWindows 10, 11
पॅकेज मॅनेजर आणि अपडेटर मध्ये सर्वाधिक लोकप्रिय
सर्व पाहा-
Chocolateyपॅकेज मॅनेजर आणि अपडेटर · Chocolatey Software, Inc. -
NuGetपॅकेज मॅनेजर आणि अपडेटर · Microsoft Corporation -
uvपॅकेज मॅनेजर आणि अपडेटर · Astral Software Inc. -
Chocolatey GUIपॅकेज मॅनेजर आणि अपडेटर · Chocolatey -
Conan Package Managerपॅकेज मॅनेजर आणि अपडेटर · JFrog -
UniGetUI (formerly WingetUI) - Pre-Releaseपॅकेज मॅनेजर आणि अपडेटर · Martí Climent -
UniGetUIपॅकेज मॅनेजर आणि अपडेटर · Devolutions inc. -
topgradeपॅकेज मॅनेजर आणि अपडेटर · topgrade-rs - ghostscriptपॅकेज मॅनेजर आणि अपडेटर
-
rigपॅकेज मॅनेजर आणि अपडेटर · Posit Software, PBC