Theorem prover from Microsoft Research.
Opis izdavača (engleski)
Što je z3?
Program z3 je softver otvorenog koda za Windows u kategoriji „Terminali i CLI alati”.
Instalacija i zahtjevi sustava
Izdavač nudi instalacijske datoteke vrste Prijenosna verzija za sustave 64-bitno, ARM64 i 32-bitno. Program radi bez instalacije (prijenosna verzija).
Popularnost i vrste datoteka
Paket na Chocolateyju preuzet je 16.496 puta. Slični programi: PowerShell, QPDF i Oh My Posh.
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Izvorna verzija ARM64 za Windows on Arm
- Prijenosna verzija: radi bez instalacije
Ukratko: z3 je program otvorenog koda za Windows (kategorija „Terminali i CLI alati”), dostupan za 64-bitno, ARM64 i 32-bitno.
Je li preuzimanje programa z3 sigurno?
- Datoteka se preuzima s domene izdavača (github.com)
- Poveznica za preuzimanje koristi HTTPS
- Objavljen je hash SHA256, pa se datoteka može provjeriti:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Otvori izvješće VirusTotala za ovaj hash - Poveznica još nije provjerena
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Najnovije verzije
Sve verzije (1) ›| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 5.3.1Najnovija | — | ARM64 ZIP64-bitno ZIP32-bitno ZIP |
Instalacija iz naredbenog retka
Tiha instalacija ›choco install z3 -yscoop install main/z3Programske datoteke (.exe): z3.exe
Povezani vodič: Kako koristiti winget: instalacija i ažuriranje
I za druge sustave
brew install z3Informacije
- Kategorija
- Terminali i CLI alati
- Licenca
- MIT
- Cijena
- Besplatno
- Izvorni kod
- github.com
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- 64-bitno, ARM64, 32-bitno
- Instalacijska datoteka
- Prijenosna verzija
- Verzija
- 5.3.1
- Broj verzija
- 1
- Preuzimanja s Chocolateyja
- 16.496
- Web-stranica
- github.com
- Paket Chocolatey
- z3
- Paket Scoop
- main/z3
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Alternative za program z3
Prikaži sve ›-
Otvoreni kod689,6 tis. ↓ -
Otvoreni kod2,1 mil. ↓ -
Otvoreni kod820,8 tis. ↓ -
Otvoreni kod1,5 mil. ↓ -
Otvoreni kod5,3 mil. ↓ -
Otvoreni kod75,9 tis. ↓ -
Otvoreni kod290,1 tis. ↓ -
Otvoreni kod112,5 tis. ↓
Česta pitanja
Je li program z3 besplatan?
Da. z3 je program otvorenog koda (licenca MIT) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa z3 sigurno?
Datoteka se preuzima s domene github.com, koja pripada izdavaču; ExeAtlas datoteku ne pohranjuje i ne mijenja. Hash SHA256 preuzete datoteke usporedite s onim na ovoj stranici ili otvorite izvješće VirusTotala za taj hash.
Radi li z3 na procesorima ARM (Windows on Arm)?
Da, postoji izvorna instalacijska datoteka ARM64.
Može li se program z3 koristiti bez administratorskih prava?
Da, riječ je o prijenosnoj verziji: dovoljno je raspakirati arhivu i pokrenuti program.
Koje su alternative za program z3?
PowerShell, QPDF, Oh My Posh, yq i PuTTY. Usporedba je na stranici s alternativama.
