यहाँ cvc5 का १ संस्करण छन्, देखि हालको 1.4.2 सम्म। हरेक संस्करणको लिङ्क प्रकाशकका आफ्नै इन्स्टलर फाइलहरूमा जान्छ।
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 1.4.2पछिल्लो | — | ६४-बिट 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