Theorem prover from Microsoft Research.
د خپرونکي تشریح (انګليسي)
z3 څه شی دی؟
z3 د ټرمینلونه او CLI وسایل په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit، ARM64 او 32-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
شهرت او د فایل ډولونه
د Chocolatey بسته ۱۶٬۴۹۶ ځله ډاونلوډ شوې. ورته پروګرامونه PowerShell، QPDF او Oh My Posh دي.
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- د Windows on Arm لپاره اصلي ARM64 نسخه
- پورټېبل: بې له نصب چلېږي
لنډه دا چې: z3 د 64-bit، ARM64 او 32-bit کمپیوټرونو لپاره یوه خلاصه سرچینه د ټرمینلونه او CLI وسایل وسیله ده.
ایا د z3 ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۱ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 5.3.1وروستۍ | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
له کمانډ لاین نه نصب
چوپه نصب ›choco install z3 -yscoop install main/z3د پروګرام فایلونه (.exe): z3.exe
اړوند لارښود: winget څنګه وکاروو: پروګرامونه نصب او تازه کړئ
د نورو سیستمونو لپاره هم
brew install z3معلومات
- کټګوري
- ټرمینلونه او CLI وسایل
- جواز
- MIT
- بیه
- وړیا
- سرچینه کوډ
- github.com
- اړتیا
- Windows 11 / 10
- جوړښت (Architecture)
- 64-bit, ARM64, 32-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 5.3.1
- لېست شوې نسخې
- 1
- د Chocolatey ډاونلوډونه
- ۱۶٬۴۹۶
- وېب پاڼه
- github.com
- د Chocolatey بسته
- z3
- د Scoop بسته
- main/z3
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د z3 بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۶۸۹٫۶K ↓ -
خلاصه سرچینه (open source)۲٫۱M ↓ -
خلاصه سرچینه (open source)۸۲۰٫۸K ↓ -
خلاصه سرچینه (open source)۱٫۵M ↓ -
خلاصه سرچینه (open source)۵٫۳M ↓ -
خلاصه سرچینه (open source)۷۵٫۹K ↓ -
خلاصه سرچینه (open source)۲۹۰٫۱K ↓ -
خلاصه سرچینه (open source)۱۱۲٫۵K ↓
ډېرې پوښتل شوې پوښتنې
ایا z3 وړیا دی؟
هو. z3 خلاصه سرچینه سافټویر دی د MIT جواز لاندې.
ایا د z3 ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي، چې د خپرونکي خپل دی؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
ایا z3 په ARM (Windows on Arm) چلېږي؟
هو، اصلي ARM64 نصبوونکی لري.
ایا z3 بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
د z3 بدیلونه کوم دي؟
PowerShell، QPDF، Oh My Posh، yq او PuTTY. د بدیلونو پاڼه یې سره پرتله کوي.
