Theorem prover from Microsoft Research.
توضیحات ناشر (انگلیسی)
z3 چیست؟
z3 در دسته‌بندی ترمینال و ابزارهای خط فرمان قرار دارد و نرم‌افزاری متن‌باز است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی، ARM64 و ۳۲ بیتی ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
محبوبیت و انواع فایل
بسته Chocolatey آن ۱۶٬۴۹۶ بار دانلود شده است. نرم‌افزارهای مشابه: PowerShell، QPDF و Oh My Posh.
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- نسخه بومی ARM64 برای Windows on Arm
- پرتابل: بدون نصب اجرا می‌شود
به طور خلاصه: z3 ابزاری متن‌باز در دسته‌بندی ترمینال و ابزارهای خط فرمان برای رایانه‌های ۶۴ بیتی، ARM64 و ۳۲ بیتی است.
آیا دانلود z3 امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۱ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 5.3.1آخرین | — | ARM64 ZIP۶۴ بیتی ZIP۳۲ بیتی ZIP |
نصب از خط فرمان
نصب بی‌صدا ›choco install z3 -yscoop install main/z3فایل‌های برنامه (.exe): z3.exe
آموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
برای سیستم‌عامل‌های دیگر هم هست
brew install z3اطلاعات
- دسته‌بندی
- ترمینال و ابزارهای خط فرمان
- مجوز
- 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. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
