Qui sono elencate 1 versione di z3, dalla prima () fino all’attuale 5.3.1. Ognuna rimanda ai file di installazione del produttore.
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 5.3.1Ultima versione | — | 64 bit ZIPARM64 ZIP32 bit ZIP |
z3: versioni precedenti da scaricare
Theorem prover from Microsoft Research.
- LicenzaOpen source
- Versione5.3.1
- RequisitiWindows 10, 11
- Download Chocolatey16,5K
Il più popolare in Terminali e riga di comando
Vedi tutti-
PowerShellTerminali e riga di comando · Microsoft Corporation -
QPDFTerminali e riga di comando · QPDF -
Oh My PoshTerminali e riga di comando · Jan De Dobbeleer -
Microsoft Azure CLITerminali e riga di comando · Microsoft Corporation -
yqTerminali e riga di comando · Mike Farah -
AlacrittyTerminali e riga di comando · Alacritty -
fzfTerminali e riga di comando · Junegunn Choi -
PuTTYTerminali e riga di comando · Simon Tatham -
cURLTerminali e riga di comando · curl -
TabbyTerminali e riga di comando · Tabby Developers