Theorem prover from Microsoft Research.
Opis izdavača (engleski)
Šta je z3?
Program z3 je softver za Windows otvorenog koda u kategoriji „Terminali i CLI alati“.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit, ARM64 i 32-bit. Program radi bez instalacije (portabl verzija).
Popularnost i tipovi fajlova
Paket na Chocolateyju preuzet je 16.496 puta. Slični programi: PowerShell, QPDF i Oh My Posh.
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Izvorna ARM64 verzija za Windows on Arm
- Portabl verzija: radi bez instalacije
Ukratko: z3 je program za Windows otvorenog koda (kategorija „Terminali i CLI alati“), dostupan za 64-bit, ARM64 i 32-bit.
Da li je preuzimanje programa z3 bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 5.3.1Najnovija | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›choco install z3 -yscoop install main/z3Programski fajlovi (.exe): z3.exe
Povezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Dostupno i za druge sisteme
brew install z3Informacije
- Kategorija
- Terminali i CLI alati
- Licenca
- MIT
- Cena
- Besplatno
- Izvorni kod
- github.com
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit, ARM64, 32-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 5.3.1
- Broj verzija
- 1
- Preuzimanja sa Chocolateyja
- 16.496
- Veb-sajt
- github.com
- Chocolatey paket
- z3
- Scoop paket
- main/z3
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Alternative za program z3
Prikaži sve ›-
Otvoreni kod689,6 hilj. ↓ -
Otvoreni kod2,1 mil. ↓ -
Otvoreni kod820,8 hilj. ↓ -
Otvoreni kod1,5 mil. ↓ -
Otvoreni kod5,3 mil. ↓ -
Otvoreni kod75,9 hilj. ↓ -
Otvoreni kod290,1 hilj. ↓ -
Otvoreni kod112,5 hilj. ↓
Česta pitanja
Da li je program z3 besplatan?
Da. z3 je program otvorenog koda (licenca MIT) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa z3 bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Da li z3 radi na ARM procesorima (Windows on Arm)?
Da, postoji izvorni ARM64 instalacioni fajl.
Može li se program z3 koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
Koje su alternative za program z3?
PowerShell, QPDF, Oh My Posh, yq i PuTTY. Poređenje se nalazi na stranici sa alternativama.
