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

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

Download z3-turnkey 4.8.9

Filename	Size
z3-turnkey-4.8.9.pom
z3-turnkey-4.8.9-sources.jar	30 MB
z3-turnkey-4.8.9-javadoc.jar	571 KB