Theorem prover from Microsoft Research.
Popis od výrobcu (angličtina)
Čo je z3?
z3 je softvér pre Windows s otvoreným zdrojovým kódom, kategória „Terminály a príkazový riadok“.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit, ARM64 a 32-bit. Program funguje bez inštalácie (prenosná verzia).
Obľúbenosť a typy súborov
Balík v Chocolatey má 16 496 stiahnutí. Podobné programy: PowerShell, QPDF a Oh My Posh.
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Natívne zostavenie ARM64 pre Windows on Arm
- Prenosná verzia: funguje bez inštalácie
V skratke: z3 je program pre Windows s otvoreným zdrojovým kódom (kategória „Terminály a príkazový riadok“); zostavenia: 64-bit, ARM64 a 32-bit.
Je stiahnutie programu z3 bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (1) ›| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 5.3.1Najnovšia | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›choco install z3 -yscoop install main/z3Programové súbory (.exe): z3.exe
Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Aj pre iné systémy
brew install z3Informácie
- Kategória
- Terminály a príkazový riadok
- Licencia
- MIT
- Cena
- Zadarmo
- Zdrojový kód
- github.com
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit, ARM64, 32-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 5.3.1
- Verzií v katalógu
- 1
- Stiahnutia z Chocolatey
- 16 496
- Web
- github.com
- Balík Chocolatey
- z3
- Balík Scoop
- main/z3
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Alternatívy k programu z3
Zobraziť všetko ›-
Open source689,6 tis. ↓ -
Open source2,1 mil. ↓ -
Open source820,8 tis. ↓ -
Open source1,5 mil. ↓ -
Open source5,3 mil. ↓ -
Open source75,9 tis. ↓ -
Open source290,1 tis. ↓ -
Open source112,5 tis. ↓
Časté otázky
Je program z3 zadarmo?
Áno. z3 je program s otvoreným zdrojovým kódom (licencia MIT); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu z3 bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Funguje z3 na ARM (Windows on Arm)?
Áno, existuje natívny inštalátor ARM64.
Dá sa program z3 používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
Aké sú alternatívy k programu z3?
PowerShell, QPDF, Oh My Posh, yq a PuTTY. Porovnanie nájdete na stránke alternatív.
