Theorem prover from Microsoft Research.
Beschreibung des Herstellers (Englisch)
Was ist z3?
z3 ist quelloffene Software für Windows (Kategorie: Terminals & Kommandozeile).
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit, ARM64 und 32-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Verbreitung und Dateitypen
Das Chocolatey-Paket wurde 16.496-mal heruntergeladen. Vergleichbare Programme sind etwa PowerShell, QPDF und Oh My Posh.
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Native ARM64-Version für Windows on Arm
- Portabel: läuft ohne Installation
Kurz gesagt: z3 ist ein quelloffenes Tool aus der Kategorie „Terminals & Kommandozeile“ für PCs mit 64-Bit, ARM64 und 32-Bit.
Ist der Download von z3 sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 1 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 5.3.1Aktuell | — | ARM64 ZIP64-Bit ZIP32-Bit ZIP |
Installation per Kommandozeile
Silent Install ›choco install z3 -yscoop install main/z3Programmdateien (.exe): z3.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Auch für andere Systeme
brew install z3Informationen
- Kategorie
- Terminals & Kommandozeile
- Lizenz
- MIT
- Preis
- Kostenlos
- Quellcode
- github.com
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit, ARM64, 32-Bit
- Installer
- Portabel
- Version
- 5.3.1
- Erfasste Versionen
- 1
- Chocolatey-Downloads
- 16.496
- Website
- github.com
- Chocolatey-Paket
- z3
- Scoop-Paket
- main/z3
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu z3
Alle anzeigen ›-
Open Source689.636 ↓ -
Open Source2,1 Mio. ↓ -
Open Source820.766 ↓ -
Open Source1,5 Mio. ↓ -
Open Source5,3 Mio. ↓ -
Open Source75.872 ↓ -
Open Source290.145 ↓ -
Open Source112.513 ↓
Häufige Fragen
Ist z3 kostenlos?
Ja. z3 ist Open-Source-Software unter der Lizenz MIT.
Ist der Download von z3 sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Läuft z3 auf ARM (Windows on Arm)?
Ja, es gibt einen nativen ARM64-Installer.
Kann ich z3 ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu z3 gibt es?
PowerShell, QPDF, Oh My Posh, yq und PuTTY. Die Seite mit den Alternativen vergleicht sie.
