Theorem prover from Microsoft Research.
Opis izdajatelja (angleščina)
Kaj je z3?
Program z3 je odprtokodna programska oprema za Windows v kategoriji „Terminali in ukazna orodja“.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno, ARM64 in 32-bitno. Program deluje brez namestitve (prenosna različica).
Priljubljenost in vrste datotek
Paket na Chocolateyju je bil prenesen 16.496-krat. Podobni programi: PowerShell, QPDF in Oh My Posh.
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Izvorna različica ARM64 za Windows on Arm
- Prenosna različica: deluje brez namestitve
Na kratko: z3 je odprtokoden program za Windows (kategorija „Terminali in ukazna orodja“), na voljo za 64-bitno, ARM64 in 32-bitno.
Je prenos programa z3 varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (1) ›| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 5.3.1Najnovejša | — | ARM64 ZIP64-bitno ZIP32-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›choco install z3 -yscoop install main/z3Programske datoteke (.exe): z3.exe
Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Tudi za druge sisteme
brew install z3Informacije
- Kategorija
- Terminali in ukazna orodja
- Licenca
- MIT
- Cena
- Brezplačno
- Izvorna koda
- github.com
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno, ARM64, 32-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 5.3.1
- Število različic
- 1
- Prenosi s Chocolateyja
- 16.496
- Spletna stran
- github.com
- Paket Chocolatey
- z3
- Paket Scoop
- main/z3
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program z3
Prikaži vse ›-
Odprta koda689,6 tis. ↓ -
Odprta koda2,1 mio. ↓ -
Odprta koda820,8 tis. ↓ -
Odprta koda1,5 mio. ↓ -
Odprta koda5,3 mio. ↓ -
Odprta koda75,9 tis. ↓ -
Odprta koda290,1 tis. ↓ -
Odprta koda112,5 tis. ↓
Pogosta vprašanja
Je program z3 brezplačen?
Da. z3 je odprtokoden program (licenca MIT), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa z3 varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Ali z3 deluje na procesorjih ARM (Windows on Arm)?
Da, na voljo je izvorna namestitvena datoteka ARM64.
Ali je program z3 mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
Katere so alternative za program z3?
PowerShell, QPDF, Oh My Posh, yq in PuTTY. Primerjava je na strani z alternativami.
