Theorem prover from Microsoft Research.
प्रकाशकको विवरण (अङ्ग्रेजी)
z3 के हो?
z3 एउटा ओपन सोर्स Windows सफ्टवेयर हो (श्रेणी: टर्मिनल र CLI टुल)।
इन्स्टलेसन र सिस्टम आवश्यकता
प्रकाशकले ६४-बिट, ARM64 र ३२-बिट Windows का लागि पोर्टेबल इन्स्टलर दिन्छ। यसलाई इन्स्टल नगरी चलाउन सकिन्छ (पोर्टेबल)।
लोकप्रियता र फाइल प्रकार
Chocolatey प्याकेज १६,४९६ पटक डाउनलोड भएको छ। यस्तै प्रोग्रामहरू: PowerShell, QPDF र Oh My Posh।
राम्रा पक्ष / कमजोरी
राम्रा पक्ष
- ओपन सोर्स: जो कोहीले यसको कोड हेर्न र बिल्ड गर्न सक्छ
- Windows on Arm का लागि नेटिभ ARM64 बिल्ड
- पोर्टेबल: इन्स्टल नगरी चल्छ
संक्षेपमा: z3 ६४-बिट, ARM64 र ३२-बिट PC का लागि एउटा ओपन सोर्स Windows टुल हो (श्रेणी: टर्मिनल र CLI टुल)।
के z3 डाउनलोड गर्नु सुरक्षित छ?
- फाइल github.com बाट आउँछ, जुन प्रकाशकको आफ्नै डोमेन हो
- डाउनलोड लिङ्कले HTTPS प्रयोग गर्छ
- SHA256 ह्यास प्रकाशित छ, त्यसैले तपाईं फाइल जाँच्न सक्नुहुन्छ:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस् - लिङ्क अहिलेसम्म जाँचिएको छैन
- सोर्स कोड सार्वजनिक छ
- ExeAtlas ले इन्स्टलर न होस्ट गर्छ, न र्याप गर्छ, न बदल्छ
सम्बन्धित गाइड: Windows मा फाइलको SHA256 ह्यास कसरी जाँच्ने
हालैका संस्करणहरू
सबै १ संस्करण ›| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 5.3.1पछिल्लो | — | ARM64 ZIP६४-बिट ZIP३२-बिट ZIP |
कमान्ड लाइनबाट इन्स्टल गर्नुहोस्
साइलेन्ट इन्स्टल ›choco install z3 -yscoop install main/z3प्रोग्राम फाइलहरू (.exe): z3.exe
सम्बन्धित गाइड: winget कसरी चलाउने: एप इन्स्टल र अपडेट
अन्य सिस्टमका लागि पनि
brew install z3जानकारी
- श्रेणी
- टर्मिनल र CLI टुल
- लाइसेन्स
- MIT
- मूल्य
- निःशुल्क
- सोर्स कोड
- github.com
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- ६४-बिट, ARM64, ३२-बिट
- इन्स्टलर
- पोर्टेबल
- संस्करण
- 5.3.1
- सूचीकृत संस्करण
- 1
- Chocolatey डाउनलोड
- १६,४९६
- वेबसाइट
- github.com
- Chocolatey प्याकेज
- z3
- Scoop प्याकेज
- main/z3
रेटिङ र समीक्षा
अहिलेसम्म कुनै समीक्षा छैन। सबैभन्दा पहिले रेटिङ दिनुहोस्।
z3 का विकल्पहरू
सबै हेर्नुहोस् ›-
ओपन सोर्स६.९ लाख ↓ -
ओपन सोर्स२१.३ लाख ↓ -
ओपन सोर्स८.२ लाख ↓ -
ओपन सोर्स१४.८ लाख ↓ -
ओपन सोर्स५२.७ लाख ↓ -
ओपन सोर्स७५.९ हजार ↓ -
ओपन सोर्स२.९ लाख ↓ -
ओपन सोर्स१.१ लाख ↓
बारम्बार सोधिने प्रश्नहरू
के z3 निःशुल्क छ?
हो। z3 ओपन सोर्स सफ्टवेयर हो (MIT लाइसेन्स)।
के z3 डाउनलोड गर्नु सुरक्षित छ?
फाइल github.com बाट डाउनलोड हुन्छ, जुन प्रकाशकको आफ्नै हो; ExeAtlas ले फाइल न होस्ट गर्छ, न बदल्छ। डाउनलोड गरेको फाइलको SHA256 ह्यास यहाँ देखाइएको ह्याससँग मिलाउनुहोस्, वा त्यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस्।
के z3 ARM (Windows on Arm) मा चल्छ?
चल्छ, यसको नेटिभ ARM64 इन्स्टलर उपलब्ध छ।
के z3 एडमिनिस्ट्रेटर अधिकारबिना प्रयोग गर्न सकिन्छ?
सकिन्छ, यो पोर्टेबल हो: फाइल अनप्याक गर्नुहोस् र चलाउनुहोस्।
z3 का विकल्पहरू के-के हुन्?
PowerShell, QPDF, Oh My Posh, yq र PuTTY। विकल्प पेजमा यिनको तुलना दिइएको छ।
