License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdtools.aqua |
ArtifactId | ArtifactIdz3-turnkey |
Last Version | Last Version4.8.17 |
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.17.pom | |
z3-turnkey-4.8.17-sources.jar | 41 MB |
z3-turnkey-4.8.17-javadoc.jar | 472 KB |
Browse |