<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>z3-turnkey</artifactId>
  <version>4.13.4</version>
</dependency>

implementation 'tools.aqua:z3-turnkey:4.13.4'

implementation("tools.aqua:z3-turnkey:4.13.4")

libraryDependencies += "tools.aqua" % "z3-turnkey" % "4.13.4"

@Grapes(
  @Grab(group='tools.aqua', module='z3-turnkey', version='4.13.4')
)

<dependency org="tools.aqua" name="z3-turnkey" rev="4.13.4" />

[tools.aqua/z3-turnkey "4.13.4"]

'tools.aqua:z3-turnkey:jar:4.13.4'