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

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.8
Type	pom.sha512

Download z3-turnkey 4.8.8

Filename	Size
z3-turnkey-4.8.8.pom
z3-turnkey-4.8.8-sources.jar	30 MB
z3-turnkey-4.8.8-javadoc.jar	569 KB