JarCasting
JarCasting JarCasting
is not current version
Last Version 4.8.17 →

tools.aqua:z3-turnkey 4.8.15

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

Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

tools.aqua
ArtifactId

ArtifactId

z3-turnkey
Version

Version

4.8.15
Type

Type

pom.sha512

Download z3-turnkey 4.8.15

Filename Size
z3-turnkey-4.8.15.pom
z3-turnkey-4.8.15-sources.jar 40 MB
z3-turnkey-4.8.15-javadoc.jar 471 KB
Browse