не последняя версия

tools.aqua:z3-turnkey 4.8.15

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

Категории	Категории KeY Данные Data Formats Formal Verification
Группа	Группа tools.aqua
Идентификатор	Идентификатор z3-turnkey
Версия	Версия 4.8.15
Тип	Тип pom.sha512

Скачать z3-turnkey 4.8.15