mvncenter: tools.aqua:jconstraints-cvc5:0.9.9

jConstraints-cvc5 is the cvc5 API plug-in for jConstraints

jconstraints plug cvc5

文件下载

文件名	操作
jconstraints-cvc5-0.9.9.jar	下载
jconstraints-cvc5-0.9.9.pom	下载
jconstraints-cvc5-0.9.9-sources.jar	下载

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Scala SBT

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

Groovy Grape

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

Apache Ivy

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

Leiningen

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

Apache Buildr

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

本项目依赖

runtime