z

z3-turnkey

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
https://github.com/tudo-aqua/z3-turnkey
The MIT License ISC License
Simon Dierl
code automatically unpacks standalone runtime distribution required that ships native self unpacking support
Files download
File Operation
z3-turnkey-4.11.2.jar download
z3-turnkey-4.11.2.pom download
z3-turnkey-4.11.2-sources.jar download
Apache Maven 
<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>z3-turnkey</artifactId>
  <version>4.11.2</version>
</dependency>
Gradle Groovy 
implementation 'tools.aqua:z3-turnkey:4.11.2'
Gradle Kotlin 
implementation("tools.aqua:z3-turnkey:4.11.2")
Scala SBT 
libraryDependencies += "tools.aqua" % "z3-turnkey" % "4.11.2"
Groovy Grape 
@Grapes(
  @Grab(group='tools.aqua', module='z3-turnkey', version='4.11.2')
)
Apache Ivy 
<dependency org="tools.aqua" name="z3-turnkey" rev="4.11.2" />
Leiningen 
[tools.aqua/z3-turnkey "4.11.2"]
Apache Buildr 
'tools.aqua:z3-turnkey:jar:4.11.2'
Dependencies
The project has no third-party dependencies