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 ٹرمینلز اور CLI ٹولز کے زمرے کا ایک اوپن سورس ٹول ہے جو 64 بٹ، ARM64 اور 32 بٹ کمپیوٹرز کے لیے دستیاب ہے۔
کیا z3 ڈاؤن لوڈ کرنا محفوظ ہے؟
- فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- SHA256 ہیش شائع شدہ ہے، اس لیے آپ فائل کی تصدیق کر سکتے ہیں:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· اس ہیش کی VirusTotal رپورٹ کھولیں - لنک ابھی چیک نہیں ہوا
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 1 ورژن ›کمانڈ لائن سے انسٹالیشن
خاموش انسٹالیشن ›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۔ متبادل کے صفحے پر ان کا موازنہ کیا گیا ہے۔
