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

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

Categories	KeY Data Data Formats Formal Verification
GroupId	io.github.tudo-aqua
ArtifactId	z3-turnkey
Version	4.8.7
Type	pom.sha512

Download z3-turnkey 4.8.7

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