Aquí hi ha 1 versió de z3, des de fins a l’actual, 5.3.1. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 5.3.1Darrera versió | — | 64 bits ZIPARM64 ZIP32 bits ZIP |
z3: baixar versions anteriors
Theorem prover from Microsoft Research.
- LlicènciaCodi obert
- Versió5.3.1
- RequisitsWindows 10, 11
- Baixades a Chocolatey16,5 k
El més popular a Terminals i línia d’ordres
Mostra-ho tot-
PowerShellTerminals i línia d’ordres · Microsoft Corporation -
QPDFTerminals i línia d’ordres · QPDF -
Oh My PoshTerminals i línia d’ordres · Jan De Dobbeleer -
Microsoft Azure CLITerminals i línia d’ordres · Microsoft Corporation -
yqTerminals i línia d’ordres · Mike Farah -
AlacrittyTerminals i línia d’ordres · Alacritty -
fzfTerminals i línia d’ordres · Junegunn Choi -
PuTTYTerminals i línia d’ordres · Simon Tatham -
cURLTerminals i línia d’ordres · curl -
TabbyTerminals i línia d’ordres · Tabby Developers