Seznam zajema 1 različico programa z3; trenutna je 5.3.1. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 5.3.1Najnovejša | — | 64-bitno ZIPARM64 ZIP32-bitno ZIP |
z3: starejše različice za prenos
Theorem prover from Microsoft Research.
- LicencaOdprta koda
- Različica5.3.1
- ZahteveWindows 10, 11
- Prenosi s Chocolateyja16,5 tis.
Najbolj priljubljeno v kategoriji „Terminali in ukazna orodja“
Prikaži vse-
PowerShellTerminali in ukazna orodja · Microsoft Corporation -
QPDFTerminali in ukazna orodja · QPDF -
Oh My PoshTerminali in ukazna orodja · Jan De Dobbeleer -
Microsoft Azure CLITerminali in ukazna orodja · Microsoft Corporation -
yqTerminali in ukazna orodja · Mike Farah -
AlacrittyTerminali in ukazna orodja · Alacritty -
fzfTerminali in ukazna orodja · Junegunn Choi -
PuTTYTerminali in ukazna orodja · Simon Tatham -
cURLTerminali in ukazna orodja · curl -
TabbyTerminali in ukazna orodja · Tabby Developers