Theorem prover from Microsoft Research.
Väljaandja kirjeldus (inglise)
Mis on z3?
Programm z3 on avatud lähtekoodiga tarkvara Windowsile. Kategooria: terminalid ja käsurida.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine, ARM64 ja 32-bitine versioon. Programm töötab ilma paigaldamata (portatiivne).
Populaarsus ja failitüübid
Chocolatey paketti on alla laaditud 16 496 korda. Sarnased programmid on näiteks PowerShell, QPDF ja Oh My Posh.
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Natiivne ARM64-versioon Windows on Armi jaoks
- Portatiivne: töötab ilma paigaldamata
Kokkuvõttes: z3 on avatud lähtekoodiga Windowsi tööriist kategooriast „Terminalid ja käsurida“ (64-bitine, ARM64 ja 32-bitine).
Kas programmi z3 allalaadimine on ohutu?
- Faili jagab github.com, väljaandja enda domeen
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Ainus versioon ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 5.3.1Uusim | — | ARM64 ZIP64-bitine ZIP32-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›choco install z3 -yscoop install main/z3Programmifailid (.exe): z3.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Saadaval ka teistele süsteemidele
brew install z3Teave
- Kategooria
- Terminalid ja käsurida
- Litsents
- MIT
- Hind
- Tasuta
- Lähtekood
- github.com
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine, ARM64, 32-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 5.3.1
- Versioone kataloogis
- 1
- Chocolatey allalaadimised
- 16 496
- Veebileht
- github.com
- Chocolatey pakett
- z3
- Scoopi pakett
- main/z3
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi z3 alternatiivid
Vaata kõiki ›-
Avatud lähtekood689,6 tuh ↓ -
Avatud lähtekood2,1 mln ↓ -
Avatud lähtekood820,8 tuh ↓ -
Avatud lähtekood1,5 mln ↓ -
Avatud lähtekood5,3 mln ↓ -
Avatud lähtekood75,9 tuh ↓ -
Avatud lähtekood290,1 tuh ↓ -
Avatud lähtekood112,5 tuh ↓
Korduma kippuvad küsimused
Kas z3 on tasuta?
Jah. z3 on avatud lähtekoodiga tarkvara (litsents MIT).
Kas programmi z3 allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com, mis kuulub väljaandjale; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kas z3 töötab ARM-protsessoriga (Windows on Arm)?
Jah, olemas on natiivne ARM64-paigaldaja.
Kas programmi z3 saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
Millised on programmi z3 alternatiivid?
PowerShell, QPDF, Oh My Posh, yq ja PuTTY. Alternatiivide leht võrdleb neid.
