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

io.github.tudo-aqua
ArtifactId

ArtifactId

z3-turnkey
Last Version

Last Version

4.8.14
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.
io.github.tudo-aqua

AQUA - Automated Quality Assurance

Versions

Version
4.8.14
4.8.13
4.8.12
4.8.10
4.8.9
4.8.8
4.8.7.1
4.8.7