<dependency> <groupId>tools.aqua</groupId> <artifactId>cvc5-turnkey</artifactId> <version>1.2.0</version> </dependency>
implementation 'tools.aqua:cvc5-turnkey:1.2.0'
implementation("tools.aqua:cvc5-turnkey:1.2.0")
libraryDependencies += "tools.aqua" % "cvc5-turnkey" % "1.2.0"
@Grapes( @Grab(group='tools.aqua', module='cvc5-turnkey', version='1.2.0') )
<dependency org="tools.aqua" name="cvc5-turnkey" rev="1.2.0" />
[tools.aqua/cvc5-turnkey "1.2.0"]
'tools.aqua:cvc5-turnkey:jar:1.2.0'
runtime
|-- tools.aqua:turnkey-support:1.0.0