JarCasting
JarCasting JarCasting
is not current version
Last Version 4.8.14 →

io.github.tudo-aqua:z3-turnkey 4.8.7.1

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

io.github.tudo-aqua
ArtifactId

ArtifactId

z3-turnkey
Version

Version

4.8.7.1
Type

Type

pom.sha512

Download z3-turnkey 4.8.7.1

Filename Size
z3-turnkey-4.8.7.1.pom
z3-turnkey-4.8.7.1-sources.jar 28 MB
z3-turnkey-4.8.7.1-javadoc.jar 878 KB
Browse