Theorem prover from Microsoft Research.
प्रकाशक का विवरण (अंग्रेज़ी)
z3 क्या है?
z3 एक ओपन सोर्स Windows सॉफ़्टवेयर है (श्रेणी: टर्मिनल और CLI टूल)।
इंस्टॉलेशन और सिस्टम आवश्यकताएँ
प्रकाशक 64-बिट, ARM64 और 32-बिट Windows के लिए पोर्टेबल इंस्टॉलर देता है। इसे इंस्टॉल किए बिना चलाया जा सकता है (पोर्टेबल)।
लोकप्रियता और फ़ाइल टाइप
Chocolatey पैकेज 16,496 बार डाउनलोड हुआ है। इसी तरह के प्रोग्राम: PowerShell, QPDF और Oh My Posh।
खूबियाँ / कमियाँ
खूबियाँ
- ओपन सोर्स: कोई भी इसका कोड देख और बिल्ड कर सकता है
- Windows on Arm के लिए नेटिव ARM64 बिल्ड
- पोर्टेबल: बिना इंस्टॉल किए चलता है
संक्षेप में: z3 64-बिट, ARM64 और 32-बिट PC के लिए एक ओपन सोर्स Windows टूल है (श्रेणी: टर्मिनल और CLI टूल)।
क्या z3 डाउनलोड करना सुरक्षित है?
- फ़ाइल github.com से आती है, जो प्रकाशक का अपना डोमेन है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- SHA256 हैश प्रकाशित है, इसलिए आप फ़ाइल की जाँच कर सकते हैं:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· इस हैश की VirusTotal रिपोर्ट खोलें - लिंक अभी जाँचा नहीं गया है
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
हाल के संस्करण
सभी 1 संस्करण ›| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 5.3.1नवीनतम | — | ARM64 ZIP64-बिट ZIP32-बिट ZIP |
कमांड लाइन से इंस्टॉल करें
साइलेंट इंस्टॉल ›choco install z3 -yscoop install main/z3प्रोग्राम फ़ाइलें (.exe): z3.exe
संबंधित गाइड: winget कैसे इस्तेमाल करें: ऐप इंस्टॉल और अपडेट
दूसरे सिस्टम के लिए भी
brew install z3जानकारी
- श्रेणी
- टर्मिनल और CLI टूल
- लाइसेंस
- MIT
- कीमत
- मुफ़्त
- सोर्स कोड
- github.com
- ज़रूरी सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट, ARM64, 32-बिट
- इंस्टॉलर
- पोर्टेबल
- संस्करण
- 5.3.1
- सूचीबद्ध संस्करण
- 1
- Chocolatey डाउनलोड
- 16,496
- वेबसाइट
- github.com
- Chocolatey पैकेज
- z3
- Scoop पैकेज
- main/z3
रेटिंग और रिव्यू
अभी कोई रिव्यू नहीं है। सबसे पहले रेटिंग दें।
z3 के विकल्प
सभी देखें ›-
ओपन सोर्स6.9 लाख ↓ -
ओपन सोर्स21.3 लाख ↓ -
ओपन सोर्स8.2 लाख ↓ -
ओपन सोर्स14.8 लाख ↓ -
ओपन सोर्स52.7 लाख ↓ -
ओपन सोर्स75.9 हज़ार ↓ -
ओपन सोर्स2.9 लाख ↓ -
ओपन सोर्स1.1 लाख ↓
अक्सर पूछे जाने वाले सवाल
क्या z3 मुफ़्त है?
हाँ। z3 ओपन सोर्स सॉफ़्टवेयर है (MIT लाइसेंस)।
क्या z3 डाउनलोड करना सुरक्षित है?
फ़ाइल github.com से डाउनलोड होती है, जो प्रकाशक का अपना है; ExeAtlas फ़ाइल को न होस्ट करता है, न बदलता है। डाउनलोड की गई फ़ाइल का SHA256 हैश यहाँ दिखाए गए हैश से मिलाएँ, या उस हैश की VirusTotal रिपोर्ट खोलें।
क्या z3 ARM (Windows on Arm) पर चलता है?
हाँ, इसका नेटिव ARM64 इंस्टॉलर मौजूद है।
क्या z3 को एडमिनिस्ट्रेटर अधिकारों के बिना इस्तेमाल किया जा सकता है?
हाँ, यह पोर्टेबल है: फ़ाइल अनपैक करें और चलाएँ।
z3 के विकल्प कौन-से हैं?
PowerShell, QPDF, Oh My Posh, yq और PuTTY। विकल्प पेज पर इनकी तुलना दी गई है।
