<dependency> <groupId>tools.aqua</groupId> <artifactId>jconstraints-runner</artifactId> <version>0.9.9</version> </dependency>
implementation 'tools.aqua:jconstraints-runner:0.9.9'
implementation("tools.aqua:jconstraints-runner:0.9.9")
libraryDependencies += "tools.aqua" % "jconstraints-runner" % "0.9.9"
@Grapes( @Grab(group='tools.aqua', module='jconstraints-runner', version='0.9.9') )
<dependency org="tools.aqua" name="jconstraints-runner" rev="0.9.9" />
[tools.aqua/jconstraints-runner "0.9.9"]
'tools.aqua:jconstraints-runner:jar:0.9.9'
runtime
|-- commons-cli:commons-cli:1.4
|-- tools.aqua:jconstraints-core:0.9.9
|-- tools.aqua:jconstraints-z3:0.9.9
|-- tools.aqua:jconstraints-cvc5:0.9.9
|-- tools.aqua:jconstraints-metasolver:0.9.9