Theorem prover from Microsoft Research.
Popis od výrobce (angličtina)
Co je z3?
z3 je software pro Windows s otevřeným zdrojovým kódem, kategorie „Terminály a příkazový řádek“.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit, ARM64 a 32bit. Program funguje bez instalace (přenosná verze).
Oblíbenost a typy souborů
Balíček v Chocolatey má 16 496 stažení. Podobné programy: PowerShell, QPDF a Oh My Posh.
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Nativní sestavení ARM64 pro Windows on Arm
- Přenosná verze: funguje bez instalace
Ve zkratce: z3 je program pro Windows s otevřeným zdrojovým kódem (kategorie „Terminály a příkazový řádek“); sestavení: 64bit, ARM64 a 32bit.
Je stažení programu z3 bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (1) ›Instalace z příkazového řádku
Tichá instalace ›choco install z3 -yscoop install main/z3Programové soubory (.exe): z3.exe
Související návod: Jak používat winget: instalace a aktualizace programů
Také pro jiné systémy
brew install z3Informace
- Kategorie
- Terminály a příkazový řádek
- Licence
- MIT
- Cena
- Zdarma
- Zdrojový kód
- github.com
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit, ARM64, 32bit
- Instalátor
- Přenosná verze
- Verze
- 5.3.1
- Verzí v katalogu
- 1
- Stažení z Chocolatey
- 16 496
- Web
- github.com
- Balíček Chocolatey
- z3
- Balíček Scoop
- main/z3
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu z3
Zobrazit vše ›-
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 zdarma?
Ano. z3 je program s otevřeným zdrojovým kódem (licence MIT); stažení i používání je zdarma.
Je stažení programu z3 bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Funguje z3 na ARM (Windows on Arm)?
Ano, existuje nativní instalátor ARM64.
Lze program z3 používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
Jaké jsou alternativy k programu z3?
PowerShell, QPDF, Oh My Posh, yq a PuTTY. Srovnání najdete na stránce alternativ.
