Z3-TurnKey

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

License	License The MIT License ISC License
Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId tools.aqua
ArtifactId	ArtifactId z3-turnkey
Last Version	Last Version 4.8.17
Release Date	Release Date May 6, 2022
Type	Type pom.sha512
Description	Description Z3-TurnKey A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
Project URL	Project URL https://github.com/tudo-aqua/z3-turnkey
Source Code Management	Source Code Management https://github.com/tudo-aqua/z3-turnkey/tree/master

Download z3-turnkey

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

There are no modules declared in this project.