Theorem prover from Microsoft Research.
وصف الناشر (الإنجليزية)
ما هو برنامج z3؟
يُصنَّف برنامج z3 لنظام Windows ضمن فئة الطرفيات وسطر الأوامر، وهو مفتوح المصدر.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت، ARM64 و32 بت. يعمل دون تثبيت (نسخة محمولة).
الشعبية وأنواع الملفات
عدد مرات تنزيل حزمته على Chocolatey: 16,496. من البرامج المشابهة: PowerShell، QPDF وOh My Posh.
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- إصدار ARM64 أصلي لأجهزة Windows on Arm
- نسخة محمولة تعمل دون تثبيت
باختصار: z3 برنامج مفتوح المصدر من فئة الطرفيات وسطر الأوامر يعمل على أجهزة 64 بت، ARM64 و32 بت.
هل تحميل z3 آمن؟
- يُقدَّم الملف من github.com، وهو نطاق يملكه الناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· افتح تقرير VirusTotal لهذه البصمة - لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (1) ›التثبيت من سطر الأوامر
التثبيت الصامت ›choco install z3 -yscoop install main/z3ملفات البرامج (.exe): z3.exe
شرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
متوفر أيضًا لأنظمة أخرى
brew install z3معلومات
- القسم
- الطرفيات وسطر الأوامر
- الترخيص
- MIT
- السعر
- مجاني
- الشيفرة المصدرية
- github.com
- المتطلبات
- Windows 11 / 10
- المعمارية
- 64 بت, ARM64, 32 بت
- نوع المثبّت
- نسخة محمولة
- الإصدار
- 5.3.1
- الإصدارات المدرجة
- 1
- تنزيلات Chocolatey
- 16,496
- الموقع الرسمي
- github.com
- حزمة Chocolatey
- z3
- حزمة Scoop
- main/z3
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
بدائل z3
عرض الكل ›-
مفتوح المصدر689.6 ألف ↓ -
مفتوح المصدر2.1 مليون ↓ -
مفتوح المصدر820.8 ألف ↓ -
مفتوح المصدر1.5 مليون ↓ -
مفتوح المصدر5.3 مليون ↓ -
مفتوح المصدر75.9 ألف ↓ -
مفتوح المصدر290.1 ألف ↓ -
مفتوح المصدر112.5 ألف ↓
الأسئلة الشائعة
هل برنامج z3 مجاني؟
نعم. برنامج z3 مفتوح المصدر ويخضع لترخيص MIT.
هل تحميل z3 آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
هل يعمل z3 على أجهزة Windows on Arm؟
نعم، يتوفر مثبّت ARM64 أصلي.
هل يمكن استخدام z3 دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
ما بدائل z3؟
PowerShell، QPDF، Oh My Posh، yq وPuTTY. تقارن صفحة البدائل بينها.
