<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>jconstraints-z3</artifactId>
  <version>0.9.9</version>
</dependency>

implementation 'tools.aqua:jconstraints-z3:0.9.9'

implementation("tools.aqua:jconstraints-z3:0.9.9")

libraryDependencies += "tools.aqua" % "jconstraints-z3" % "0.9.9"

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

<dependency org="tools.aqua" name="jconstraints-z3" rev="0.9.9" />

[tools.aqua/jconstraints-z3 "0.9.9"]

'tools.aqua:jconstraints-z3:jar:0.9.9'