Skip to content
Последняя стабильная версия v0.7.14

ВВЕДИ ТИП ВСЕЛЕННОЙ

Выберите свою платформу и начните создавать миры.

Быстрая установка
$ curl -fsSL https://raw.githubusercontent.com/ChenXu233/YaoXiang/main/scripts/install/install.sh | sh
Поддерживаемые платформы: Windows (PowerShell), macOS, Linux (x64/ARM64)
Select_Version_Module
v0.7.14
LATESTRELEASED
▲▼

Windows

x64
  • Бинарник командной строки (старый формат, без libz3)
  • Не требует установки

Windows

ARM64
  • Бинарник командной строки (старый формат, без libz3)
  • Не требует установки

Linux

x64
  • Бинарник командной строки (старый формат, статически слинкован с Z3)
  • Не требует установки

Linux

ARM64
  • Бинарник командной строки (старый формат, статически слинкован с Z3)
  • Не требует установки

macOS

Intel / Apple Silicon
  • Бинарник командной строки (старый формат, статически слинкован с Z3)
  • Не требует установки

Сборка из исходного кода

Соберите YaoXiang из исходного кода с помощью Cargo. Убедитесь, что Rust установлен.

git clone https://github.com/ChenXu233/YaoXiang
cd YaoXiang
cargo build --release

Ночные сборки

Доступны самые свежие передовые версии. Рекомендуется для тестирования, используйте с осторожностью в продакшене.

Перейти в GitHub Actions