Files download
File Operation
cvc5-turnkey-1.2.0.jar download
cvc5-turnkey-1.2.0.pom download
cvc5-turnkey-1.2.0-sources.jar download
Apache Maven
<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>cvc5-turnkey</artifactId>
  <version>1.2.0</version>
</dependency>
Gradle Groovy
implementation 'tools.aqua:cvc5-turnkey:1.2.0'
Gradle Kotlin
implementation("tools.aqua:cvc5-turnkey:1.2.0")
Scala SBT
libraryDependencies += "tools.aqua" % "cvc5-turnkey" % "1.2.0"
Groovy Grape
@Grapes(
  @Grab(group='tools.aqua', module='cvc5-turnkey', version='1.2.0')
)
Apache Ivy
<dependency org="tools.aqua" name="cvc5-turnkey" rev="1.2.0" />
Leiningen
[tools.aqua/cvc5-turnkey "1.2.0"]
Apache Buildr
'tools.aqua:cvc5-turnkey:jar:1.2.0'
Dependencies