Z3-TurnKey

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

License

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

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

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.

Versions

Version
4.8.17
4.8.16
4.8.15