1 versions of z3 are listed here, from to the current 5.3.1. Each one links to the publisher’s own installer files.
| Version | Date | Size | Files |
|---|---|---|---|
| 5.3.1Latest | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: all versions and old releases
Theorem prover from Microsoft Research.
- LicenceOpen source
- Version5.3.1
- RequiresWindows 10, 11
- Chocolatey downloads16.5K
Most popular in Terminals & CLI tools
See all-
PowerShellPowerShell 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. -
QPDFQPDF is a command-line tool and C++ library that performs content-preserving transformations on PDF files. -
Oh My PoshPrompt theme engine for any shell -
Microsoft Azure CLIThe Azure command-line interface (Azure CLI) is a set of commands used to create and manage Azure resources. The Azure CLI is available across Azure services and is designed to get you working quickly with Azure, with an emphasis on automation. -
yqyq is a portable command-line YAML, JSON, XML, CSV and properties processor. -
AlacrittyAlacritty is a free and open-source GPU accelerated terminal emulator focused on performance and simplicity. -
fzfA general-purpose command-line fuzzy finder -
PuTTYA free implementation of SSH and Telnet for Windows and Unix platforms, along with an xterm terminal emulator. -
cURLCommand line tool and library for transferring data with URLs -
TabbyA terminal for a more modern age.