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

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

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

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

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

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

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

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