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	KeY Data Data Formats Formal Verification
GroupId	tools.aqua
ArtifactId	z3-turnkey
Version	4.8.16
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