Hier sind 1 Versionen von z3 aufgeführt, von bis zur aktuellen 5.3.1. Jede verweist auf die Installationsdateien des Herstellers.
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 5.3.1Aktuell | — | 64-Bit ZIPARM64 ZIP32-Bit ZIP |
z3: alte Versionen herunterladen
Theorem prover from Microsoft Research.
- LizenzOpen Source
- Version5.3.1
- VoraussetzungWindows 10, 11
- Chocolatey-Downloads16.496
Am beliebtesten in Terminals & Kommandozeile
Alle anzeigen-
PowerShellTerminals & Kommandozeile · Microsoft Corporation -
QPDFTerminals & Kommandozeile · QPDF -
Oh My PoshTerminals & Kommandozeile · Jan De Dobbeleer -
Microsoft Azure CLITerminals & Kommandozeile · Microsoft Corporation -
yqTerminals & Kommandozeile · Mike Farah -
AlacrittyTerminals & Kommandozeile · Alacritty -
fzfTerminals & Kommandozeile · Junegunn Choi -
PuTTYTerminals & Kommandozeile · Simon Tatham -
cURLTerminals & Kommandozeile · curl -
TabbyTerminals & Kommandozeile · Tabby Developers