Skip to content
Latest stable v0.7.14
TYPE THE UNIVERSE
Choose your platform and start building the world.
Quick Install
$ curl -fsSL https://raw.githubusercontent.com/ChenXu233/YaoXiang/main/scripts/install/install.sh | shSupported platforms: Windows (PowerShell), macOS, Linux (x64/ARM64)
Select_Version_Module
v0.7.14
LATESTRELEASED
▲▼
Windows
x64
- Command-line binary (legacy format, without libz3)
- No installation required
Windows
ARM64
- Command-line binary (legacy format, without libz3)
- No installation required
Linux
x64
- Command-line binary (legacy format, statically linked Z3)
- No installation required
Linux
ARM64
- Command-line binary (legacy format, statically linked Z3)
- No installation required
macOS
Intel / Apple Silicon
- Command-line binary (legacy format, statically linked Z3)
- No installation required
Download ▼
Build from Source
Build YaoXiang from source using Cargo. Make sure Rust is installed.
git clone https://github.com/ChenXu233/YaoXiangcd YaoXiangcargo build --releaseNightly Builds
The latest cutting-edge version is available. Recommended for testing; use with caution in production.
Go to GitHub Actions