Estão listadas 1 versões de z3, de até a atual, 5.3.1. Cada uma aponta para os instaladores do próprio desenvolvedor.
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 5.3.1Última versão | — | 64 bits ZIPARM64 ZIP32 bits ZIP |
z3: baixar versões antigas
Theorem prover from Microsoft Research.
- LicençaCódigo aberto
- Versão5.3.1
- RequisitosWindows 10, 11
- Downloads no Chocolatey16,5 mil
Mais popular em Terminais e linha de comando
Ver tudo-
PowerShellTerminais e linha de comando · Microsoft Corporation -
QPDFTerminais e linha de comando · QPDF -
Oh My PoshTerminais e linha de comando · Jan De Dobbeleer -
Microsoft Azure CLITerminais e linha de comando · Microsoft Corporation -
yqTerminais e linha de comando · Mike Farah -
AlacrittyTerminais e linha de comando · Alacritty -
fzfTerminais e linha de comando · Junegunn Choi -
PuTTYTerminais e linha de comando · Simon Tatham -
cURLTerminais e linha de comando · curl -
TabbyTerminais e linha de comando · Tabby Developers