An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
प्रकाशकको विवरण (अङ्ग्रेजी)
cvc5 के हो?
cvc5 एउटा ओपन सोर्स Windows सफ्टवेयर हो (श्रेणी: प्याकेज म्यानेजर र अपडेटर)।
इन्स्टलेसन र सिस्टम आवश्यकता
प्रकाशकले ६४-बिट र ARM64 Windows का लागि पोर्टेबल इन्स्टलर दिन्छ। यसलाई इन्स्टल नगरी चलाउन सकिन्छ (पोर्टेबल)।
राम्रा पक्ष / कमजोरी
राम्रा पक्ष
- ओपन सोर्स: जो कोहीले यसको कोड हेर्न र बिल्ड गर्न सक्छ
- Windows on Arm का लागि नेटिभ ARM64 बिल्ड
- पोर्टेबल: इन्स्टल नगरी चल्छ
संक्षेपमा: cvc5 ६४-बिट र ARM64 PC का लागि एउटा ओपन सोर्स Windows टुल हो (श्रेणी: प्याकेज म्यानेजर र अपडेटर)।
के cvc5 डाउनलोड गर्नु सुरक्षित छ?
- फाइल github.com बाट आउँछ; यो प्रकाशकको आधिकारिक मिरर हो कि होइन जाँच्नुहोस्
- डाउनलोड लिङ्कले HTTPS प्रयोग गर्छ
- SHA256 ह्यास प्रकाशित छ, त्यसैले तपाईं फाइल जाँच्न सक्नुहुन्छ:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस् - लिङ्क अहिलेसम्म जाँचिएको छैन
- सोर्स कोड सार्वजनिक छ
- ExeAtlas ले इन्स्टलर न होस्ट गर्छ, न र्याप गर्छ, न बदल्छ
सम्बन्धित गाइड: Windows मा फाइलको SHA256 ह्यास कसरी जाँच्ने
हालैका संस्करणहरू
सबै १ संस्करण ›| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 1.4.2पछिल्लो | — | ६४-बिट ZIPARM64 ZIP |
कमान्ड लाइनबाट इन्स्टल गर्नुहोस्
साइलेन्ट इन्स्टल ›scoop install main/cvc5प्रोग्राम फाइलहरू (.exe): cvc5.exe
सम्बन्धित गाइड: winget कसरी चलाउने: एप इन्स्टल र अपडेट
जानकारी
- श्रेणी
- प्याकेज म्यानेजर र अपडेटर
- लाइसेन्स
- BSD-3-Clause
- मूल्य
- निःशुल्क
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- ६४-बिट, ARM64
- इन्स्टलर
- पोर्टेबल
- संस्करण
- 1.4.2
- सूचीकृत संस्करण
- 1
- वेबसाइट
- cvc5.github.io
- Scoop प्याकेज
- main/cvc5
रेटिङ र समीक्षा
अहिलेसम्म कुनै समीक्षा छैन। सबैभन्दा पहिले रेटिङ दिनुहोस्।
cvc5 का विकल्पहरू
सबै हेर्नुहोस् ›-
ओपन सोर्स३८.६ करोड ↓ -
ओपन सोर्स२५.८ लाख ↓ -
ओपन सोर्स१.८ लाख ↓ -
ओपन सोर्स२.६ लाख ↓ -
ओपन सोर्स७८.१ हजार ↓ -
ओपन सोर्स३.९ हजार ↓ -
ओपन सोर्स९.८ हजार ↓ -
ओपन सोर्स१५ हजार ↓
बारम्बार सोधिने प्रश्नहरू
के cvc5 निःशुल्क छ?
हो। cvc5 ओपन सोर्स सफ्टवेयर हो (BSD-3-Clause लाइसेन्स)।
के cvc5 डाउनलोड गर्नु सुरक्षित छ?
फाइल github.com बाट डाउनलोड हुन्छ; ExeAtlas ले फाइल न होस्ट गर्छ, न बदल्छ। डाउनलोड गरेको फाइलको SHA256 ह्यास यहाँ देखाइएको ह्याससँग मिलाउनुहोस्, वा त्यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस्।
के cvc5 ARM (Windows on Arm) मा चल्छ?
चल्छ, यसको नेटिभ ARM64 इन्स्टलर उपलब्ध छ।
के cvc5 एडमिनिस्ट्रेटर अधिकारबिना प्रयोग गर्न सकिन्छ?
सकिन्छ, यो पोर्टेबल हो: फाइल अनप्याक गर्नुहोस् र चलाउनुहोस्।
