jar

tools.aqua : z3-turnkey

Maven & Gradle

May 31, 2023

33 stars

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

Homepage Readme Maven Central

Table Of Contents

Latest Version
All Versions
View Java Class Source Code in JAR file

Latest Version

Download tools.aqua : z3-turnkey JAR file - Latest Versions:

Latest Stable: 4.12.2.jar

All Versions

Download tools.aqua : z3-turnkey JAR file - All Versions:

Version	Vulnerabilities	Size	Updated
4.12.x	z3-turnkey-4.12.2.jar		42.66 MB	May 31, 2023
z3-turnkey-4.12.1.jar		42.90 MB	May 12, 2023
z3-turnkey-4.12.0.jar		42.80 MB	May 10, 2023
4.11.x	z3-turnkey-4.11.2.jar		41.85 MB	Sep 07, 2022
z3-turnkey-4.11.0.jar		41.39 MB	Sep 07, 2022
4.10.x	z3-turnkey-4.10.2.jar		41.25 MB	Sep 07, 2022
z3-turnkey-4.10.1.jar		41.25 MB	Sep 07, 2022
z3-turnkey-4.10.0.jar		41.25 MB	Sep 07, 2022
4.8.x	z3-turnkey-4.8.17.jar		41.24 MB	May 06, 2022
z3-turnkey-4.8.16.jar		41.11 MB	May 05, 2022
z3-turnkey-4.8.15.jar		40.98 MB	May 05, 2022

Version

Vulnerabilities

Size

Updated

4.12.x

z3-turnkey-4.12.2.jar

42.66 MB

May 31, 2023

z3-turnkey-4.12.1.jar

42.90 MB

May 12, 2023

z3-turnkey-4.12.0.jar

42.80 MB

May 10, 2023

4.11.x

z3-turnkey-4.11.2.jar

41.85 MB

Sep 07, 2022

z3-turnkey-4.11.0.jar

41.39 MB

Sep 07, 2022

4.10.x

z3-turnkey-4.10.2.jar

41.25 MB

Sep 07, 2022

z3-turnkey-4.10.1.jar

41.25 MB

Sep 07, 2022

z3-turnkey-4.10.0.jar

41.25 MB

Sep 07, 2022

4.8.x

z3-turnkey-4.8.17.jar

41.24 MB

May 06, 2022

z3-turnkey-4.8.16.jar

41.11 MB

May 05, 2022

z3-turnkey-4.8.15.jar

40.98 MB

May 05, 2022

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window z3-turnkey-4.12.2.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.