Theorem prover from Microsoft Research.
Nashr etuvchining tavsifi (inglizcha)
z3 nima?
z3 dasturi — Windows uchun ochiq kodli ilova, «Terminallar va CLI» kategoriyasiga kiradi.
Oʻrnatish va tizim talablari
Nashr etuvchi 64 bitli, ARM64 va 32 bitli tizimlar uchun Portativ oʻrnatish fayllarini taqdim etadi. Oʻrnatishsiz ishlaydi (portativ).
Ommaboplik va fayl turlari
Chocolatey paketi 16 496 marta yuklab olingan. Oʻxshash dasturlar: PowerShell, QPDF va Oh My Posh.
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Windows on Arm uchun mahalliy ARM64 versiyasi
- Portativ: oʻrnatishsiz ishlaydi
Qisqacha xulosa: z3 — 64 bitli, ARM64 va 32 bitli kompyuterlar uchun ochiq kodli Windows vositasi («Terminallar va CLI» kategoriyasi).
z3 dasturini yuklab olish xavfsizmi?
- Fayl nashr etuvchining oʻz domeni — github.com orqali beriladi
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- SHA256 xeshi eʼlon qilingan, shuning uchun faylni tekshirish mumkin:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Bu xesh uchun VirusTotal hisobotini ochish - Havola hali tekshirilmagan
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Soʻnggi versiyalar
Barcha 1 ta versiya ›| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 5.3.1Eng soʻnggi | — | ARM64 ZIP64 bitli ZIP32 bitli ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›choco install z3 -yscoop install main/z3Dastur fayllari (.exe): z3.exe
Tegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Boshqa tizimlar uchun ham bor
brew install z3Maʼlumot
- Kategoriya
- Terminallar va CLI
- Litsenziya
- MIT
- Narxi
- Bepul
- Manba kodi
- github.com
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli, ARM64, 32 bitli
- Oʻrnatuvchi turi
- Portativ
- Versiya
- 5.3.1
- Roʻyxatdagi versiyalar
- 1
- Chocolatey yuklab olishlari
- 16 496
- Veb-sayt
- github.com
- Chocolatey paketi
- z3
- Scoop paketi
- main/z3
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
z3 dasturiga muqobillar
Barchasini koʻrish ›-
Ochiq kodli689,6 ming ↓ -
Ochiq kodli2,1 mln ↓ -
Ochiq kodli820,8 ming ↓ -
Ochiq kodli1,5 mln ↓ -
Ochiq kodli5,3 mln ↓ -
Ochiq kodli75,9 ming ↓ -
Ochiq kodli290,1 ming ↓ -
Ochiq kodli112,5 ming ↓
Koʻp beriladigan savollar
z3 bepulmi?
Ha. z3 — ochiq kodli dastur (MIT litsenziyasi).
z3 dasturini yuklab olish xavfsizmi?
Fayl github.com manzilidan yuklab olinadi; bu manzil nashr etuvchiga tegishli. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi. Yuklab olingan faylning SHA256 xeshini shu yerda koʻrsatilgani bilan solishtiring yoki bu xesh uchun VirusTotal hisobotini oching.
z3 ARM protsessorida (Windows on Arm) ishlaydimi?
Ha, mahalliy ARM64 oʻrnatuvchisi mavjud.
z3 dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
z3 dasturiga qanday muqobillar bor?
PowerShell, QPDF, Oh My Posh, yq va PuTTY. Muqobillar sahifasi ularni taqqoslaydi.
