JarCasting
JarCasting JarCasting
is not current version
Last Version 4.8.17 →

tools.aqua:z3-turnkey 4.8.16

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.16
Type

Type

pom.sha512

Download z3-turnkey 4.8.16

Filename Size
z3-turnkey-4.8.16.pom
z3-turnkey-4.8.16-sources.jar 41 MB
z3-turnkey-4.8.16-javadoc.jar 911 KB
Browse