Z3-TurnKey 4.8.10

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

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

Download z3-turnkey 4.8.10

Filename	Size
z3-turnkey-4.8.10.pom
z3-turnkey-4.8.10-sources.jar	31 MB
z3-turnkey-4.8.10-javadoc.jar	575 KB

Dependencies

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

Project Modules

There are no modules declared in this project.