MVN

tools.aqua : jconstraints-core

Maven & Gradle

Mar 06, 2023
5 stars

jConstraints · jConstraints is a library for managing SMT constraints in Java

<dependency>
    <groupId>tools.aqua</groupId>
    <artifactId>jconstraints-core</artifactId>
    <version>0.9.9</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of tools.aqua : jconstraints-core to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.9.9

All Versions

Choose a version of tools.aqua : jconstraints-core to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.9.x
jconstraints-core-0.9.9

How to add a dependency to Maven

Add the following tools.aqua : jconstraints-core maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

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

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following tools.aqua : jconstraints-core gradle dependency to your build.gradle file:

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

Gradle Kotlin DSL: Add the following tools.aqua : jconstraints-core gradle kotlin dependency to your build.gradle.kts file:

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

How to add a dependency to SBT Scala

SBT Scala: Add the following tools.aqua : jconstraints-core sbt scala dependency to your build.sbt file:

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

Advertisement

Dependencies from Group

Oct 31, 2021
23 stars
Jul 21, 2023
23 stars
Jul 21, 2023
23 stars
Jul 21, 2023
23 stars
Jul 21, 2023
23 stars

Discover Dependencies

Mar 06, 2023
5 stars
Mar 06, 2023
5 stars
Mar 06, 2023
5 stars
Mar 06, 2023
5 stars
Jul 19, 2023
0 stars
Mar 25, 2023
0 stars
Apr 16, 2023
3 stars
Apr 16, 2023
3 stars