Install Now
How to install Z3Prover/z3. Official installation instructions. Project installation guide. Framework or library installation. Build installation instructions. How to setup and install from GitHub. Installation steps and setup instructions. Official docs and installation instructions GitHub.
Z3Prover/z3 Installation Guide
How to install Z3Prover/z3. Official project installation instructions and setup guide.
⚡
Automated Install (Recommended)
Quick installation instructions for Z3Prover/z3. This is the fastest way to complete project installation and setup.
Install via curl
curl -fsSL https://hexmos.com/ipm-install | bash &&
ipm i Z3Prover/z3or
Install via npx
npx @hexmos/ipm i Z3Prover/z3Prerequisites
Microsoft Visual Studio
build_toolVersion: 2019 or later (recommended for C++20 support)
CMake
build_toolVersion: 3.14 or later
Git
system_toolVersion: 2.30 or later
Python
languageVersion: 3.8 or later
Visual C++ compiler (MSVC)
build_toolVersion: 14.20 or later
GCC/Clang
build_toolVersion: 9.3.0 or later
GMP (optional)
libraryVersion: 4.1.2
WASM build tools
build_toolVersion: latest
vcpkg (optional)
package_managerVersion: v0.12.0 or later
Bazel (optional)
build_toolVersion: 4.3.0 or later
Axiom Profiler
system_toolVersion: latest
Docker (optional)
system_toolVersion: 1.13 or later
AWS Account Access (optional)
serviceVersion: any
GitHub account (optional)
serviceVersion: any
Manual Installation Methods
Manual installation instructions. How to install from GitHub source.
Install via pip
pip install z3-solverPost Installation Steps
- Open the Z3 interface in your browser (e.g., http://localhost:8080). You can find the default user credentials in the `config/z3.json` file.
- Start a new project by creating a new folder and running `python scripts/mk_make.py`. This will create a basic Z3 project structure.