Theorem prover from Microsoft Research.
Descrierea dezvoltatorului (engleză)
Ce este z3?
z3 este un software open source pentru Windows, încadrat în categoria Terminale și linie de comandă.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți, ARM64 și 32 de biți. Funcționează fără instalare (versiune portabilă).
Popularitate și tipuri de fișiere
Pachetul Chocolatey a fost descărcat de 16.496 de ori. Printre programele similare se numără PowerShell, QPDF și Oh My Posh.
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Versiune nativă ARM64 pentru Windows on Arm
- Portabil: rulează fără instalare
Pe scurt: z3 este un program open source din categoria Terminale și linie de comandă, disponibil pentru calculatoare cu 64 de biți, ARM64 și 32 de biți.
Este sigur să descărcați z3?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
O singură versiune ›| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 5.3.1Cea mai nouă | — | ARM64 ZIP64 de biți ZIP32 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›choco install z3 -yscoop install main/z3Fișiere de program (.exe): z3.exe
Ghid asociat: Cum se folosește winget: instalare și actualizare
Și pentru alte sisteme
brew install z3Informații
- Categorie
- Terminale și linie de comandă
- Licență
- MIT
- Preț
- Gratuit
- Cod sursă
- github.com
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți, ARM64, 32 de biți
- Instalator
- Portabil
- Versiune
- 5.3.1
- Versiuni listate
- 1
- Descărcări Chocolatey
- 16.496
- Site web
- github.com
- Pachet Chocolatey
- z3
- Pachet Scoop
- main/z3
Evaluări și recenzii
Nicio recenzie încă.
Alternative la z3
Vezi tot ›-
Open source689,6 K ↓ -
Open source2,1 mil. ↓ -
Open source820,8 K ↓ -
Open source1,5 mil. ↓ -
Open source5,3 mil. ↓ -
Open source75,9 K ↓ -
Open source290,1 K ↓ -
Open source112,5 K ↓
Întrebări frecvente
Este z3 gratuit?
Da. z3 este un software open source cu licența MIT.
Este sigur să descărcați z3?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Funcționează z3 pe ARM (Windows on Arm)?
Da, există un instalator nativ ARM64.
Se poate folosi z3 fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la z3?
PowerShell, QPDF, Oh My Posh, yq și PuTTY. Pagina de alternative le compară.
