Aici sunt listate 1 versiune ale programului z3, de la până la versiunea actuală, 5.3.1. Fiecare trimite la instalatoarele oficiale ale dezvoltatorului.
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 5.3.1Cea mai nouă | — | 64 de biți ZIPARM64 ZIP32 de biți ZIP |
z3: versiuni mai vechi, descărcare
Theorem prover from Microsoft Research.
- LicențăOpen source
- Versiune5.3.1
- CerințeWindows 10, 11
- Descărcări Chocolatey16,5 K
Cele mai populare în Terminale și linie de comandă
Vezi tot-
PowerShellTerminale și linie de comandă · Microsoft Corporation -
QPDFTerminale și linie de comandă · QPDF -
Oh My PoshTerminale și linie de comandă · Jan De Dobbeleer -
Microsoft Azure CLITerminale și linie de comandă · Microsoft Corporation -
yqTerminale și linie de comandă · Mike Farah -
AlacrittyTerminale și linie de comandă · Alacritty -
fzfTerminale și linie de comandă · Junegunn Choi -
PuTTYTerminale și linie de comandă · Simon Tatham -
cURLTerminale și linie de comandă · curl -
TabbyTerminale și linie de comandă · Tabby Developers