Theorem prover from Microsoft Research.
प्रकाशकाचे वर्णन (इंग्रजी)
z3 काय आहे?
z3 हे ओपन सोर्स Windows सॉफ्टवेअर आहे (श्रेणी: टर्मिनल आणि CLI टूल्स).
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
प्रकाशक 64-बिट, ARM64 आणि 32-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).
लोकप्रियता आणि फाइल प्रकार
Chocolatey पॅकेज १६,४९६ वेळा डाउनलोड झाले आहे. याच प्रकारचे प्रोग्राम: 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 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व १ आवृत्ती ›| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 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 डाउनलोड
- १६,४९६
- वेबसाइट
- 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. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.
