Theorem prover from Microsoft Research.
Publisher’s description
What is z3?
z3 is open-source Windows software in the terminals & cli tools category.
Installation and requirements
The publisher provides Portable installers for 64-bit, ARM64 and 32-bit Windows. It runs without installation (portable).
Popularity and file types
The Chocolatey package has been downloaded 16,496 times. Similar programs include PowerShell, QPDF and Oh My Posh.
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Native ARM64 build for Windows on Arm
- Portable: runs without installation
In short: z3 is an open-source terminals & cli tool tool for 64-bit, ARM64 and 32-bit PCs.
Is z3 safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 1 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 5.3.1Latest | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Install from the command line
Silent install ›choco install z3 -yscoop install main/z3Program files (.exe): z3.exe
Related guide: How to use winget: install and update apps
Also for other systems
brew install z3Information
- Category
- Terminals & CLI tools
- Licence
- MIT
- Price
- Free
- Source code
- github.com
- Requires
- Windows 11 / 10
- Architecture
- 64-bit, ARM64, 32-bit
- Installer
- Portable
- Version
- 5.3.1
- Versions listed
- 1
- Chocolatey downloads
- 16,496
- Website
- github.com
- Chocolatey package
- z3
- Scoop package
- main/z3
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to z3
See all ›-
PowerShell7.6.9.0PowerShell is a cross-platform task automation solution made up of a command-line shell, a scripting language, and a configuration management framework. PowerShell runs on Windows, Linux, and macOS.Open source689.6K ↓ -
QPDF12.4.2QPDF is a command-line tool and C++ library that performs content-preserving transformations on PDF files.Open source2.1M ↓ -
Open source820.8K ↓ -
Open source1.5M ↓ -
PuTTY0.85.0.0A free implementation of SSH and Telnet for Windows and Unix platforms, along with an xterm terminal emulator.Open source5.3M ↓ -
Alacritty0.17.0Alacritty is a free and open-source GPU accelerated terminal emulator focused on performance and simplicity.Open source75.9K ↓ -
Open source290.1K ↓ -
Open source112.5K ↓
Frequently asked questions
Is z3 free?
Yes. z3 is open-source software under the MIT licence.
Is z3 safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
Does z3 run on ARM (Windows on Arm)?
Yes, there is a native ARM64 installer.
Can I use z3 without administrator rights?
Yes, it is portable: unpack and run it.
What are alternatives to z3?
PowerShell, QPDF, Oh My Posh, yq and PuTTY. The alternatives page compares them.
