License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.github.tudo-aqua |
ArtifactId | ArtifactIdz3-turnkey |
Last Version | Last Version4.8.14 |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
DescriptionZ3-TurnKey
A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
z3-turnkey-4.8.14.pom | |
z3-turnkey-4.8.14-sources.jar | 28 MB |
z3-turnkey-4.8.14-javadoc.jar | 878 KB |
Browse |