Theorem prover from Microsoft Research.
Përshkrimi i botuesit (anglisht)
Çfarë është z3?
Është softuer me burim të hapur për Windows, në kategorinë „Terminale dhe mjete CLI”.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit, ARM64 dhe 32-bit. Funksionon pa instalim (portativ).
Popullariteti dhe llojet e skedarëve
Paketa në Chocolatey është shkarkuar 16 496 herë. Programe të ngjashme janë PowerShell, QPDF dhe Oh My Posh.
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Version vendas ARM64 për Windows on Arm
- Portativ: funksionon pa instalim
Shkurtimisht: z3 është një mjet me burim të hapur në kategorinë „Terminale dhe mjete CLI”, për kompjuterë 64-bit, ARM64 dhe 32-bit.
A është i sigurt shkarkimi i z3?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (1) ›| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 5.3.1I fundit | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›choco install z3 -yscoop install main/z3Skedarë programesh (.exe): z3.exe
Udhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Edhe për sisteme të tjera
brew install z3Informacion
- Kategoria
- Terminale dhe mjete CLI
- Licenca
- MIT
- Çmimi
- Falas
- Kodi burimor
- github.com
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit, ARM64, 32-bit
- Instaluesi
- Portativ
- Versioni
- 5.3.1
- Versione në listë
- 1
- Shkarkime në Chocolatey
- 16 496
- Faqja e internetit
- github.com
- Paketa Chocolatey
- z3
- Paketa Scoop
- main/z3
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Alternativa për z3
Shiko të gjitha ›-
Me burim të hapur689,6 mijë ↓ -
Me burim të hapur2,1 mln ↓ -
Me burim të hapur820,8 mijë ↓ -
Me burim të hapur1,5 mln ↓ -
Me burim të hapur5,3 mln ↓ -
Me burim të hapur75,9 mijë ↓ -
Me burim të hapur290,1 mijë ↓ -
Me burim të hapur112,5 mijë ↓
Pyetjet më të shpeshta
A është z3 falas?
Po. z3 është softuer me burim të hapur me licencën MIT.
A është i sigurt shkarkimi i z3?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
A funksionon z3 në ARM (Windows on Arm)?
Po, ka një instalues vendas ARM64.
A mund ta përdor z3 pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
Cilat janë alternativat e z3?
PowerShell, QPDF, Oh My Posh, yq dhe PuTTY. Faqja e alternativave i krahason.
