Z3-TurnKey

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

Лицензия	Лицензия The MIT License ISC License
Категории	Категории KeY Данные Data Formats Formal Verification
Группа	Группа tools.aqua
Идентификатор	Идентификатор z3-turnkey
Последняя версия	Последняя версия 4.8.17
Дата	Дата 6 мая 2022 г.
Тип	Тип pom.sha512
Описание	Описание Z3-TurnKey A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
Ссылка на сайт	Ссылка на сайт https://github.com/tudo-aqua/z3-turnkey
Система контроля версий	Система контроля версий https://github.com/tudo-aqua/z3-turnkey/tree/master

Скачать z3-turnkey

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

Данный проект не имеет модулей.