Beliebt: Daten aktualisiert am 9. November 2026

Kategorien

Internet1.378
Kommunikation323
Audio & Video914
Grafik & Design552
Büro & Produktivität1.137
Entwicklertools3.178
KI-Tools555
Sicherheit & Datenschutz396
Systemtools3.169
Spiele532
Bildung & Wissenschaft240
Netzwerk & IT291

z3 5.3.3 herunterladen

Theorem prover from Microsoft Research.

Dies ist die aktuelle Version. · Veröffentlicht:

Installationsdateien 5.3.3

ArchitekturTypBereichDateigrößeDownloadSHA256
64-Bit ZIP → Portabel — — github.com VirusTotal
ARM64 ZIP → Portabel — — github.com VirusTotal
32-Bit ZIP → Portabel — — github.com VirusTotal

Link und SHA256 stammen aus dem Community-Manifest des Windows-Paket-Managers. Vergleichen Sie den Hash der heruntergeladenen Datei, bevor Sie sie ausführen.

Am beliebtesten in Terminals & Kommandozeile

Alle anzeigen
  1. PowerShellTerminals & Kommandozeile · Microsoft Corporation
  2. QPDFTerminals & Kommandozeile · QPDF
  3. Oh My PoshTerminals & Kommandozeile · Jan De Dobbeleer
  4. Microsoft Azure CLITerminals & Kommandozeile · Microsoft Corporation
  5. yqTerminals & Kommandozeile · Mike Farah
  6. fzfTerminals & Kommandozeile · Junegunn Choi
  7. AlacrittyTerminals & Kommandozeile · Alacritty
  8. PuTTYTerminals & Kommandozeile · Simon Tatham
  9. cURLTerminals & Kommandozeile · curl
  10. TabbyTerminals & Kommandozeile · Tabby Developers

Schlagwörter

Teilen