j

jconstraints-core

jConstraints is a library for managing SMT constraints in Java
https://github.com/tudo-aqua/jconstraints
Apache-2.0
The jConstraints Authors
library java jconstraints managing constraints
Files download
File Operation
jconstraints-core-0.9.9.jar download
jconstraints-core-0.9.9.pom download
jconstraints-core-0.9.9-sources.jar download
Apache Maven 
<dependency>
  <groupId>tools.aqua</groupId>
  <artifactId>jconstraints-core</artifactId>
  <version>0.9.9</version>
</dependency>
Gradle Groovy 
implementation 'tools.aqua:jconstraints-core:0.9.9'
Gradle Kotlin 
implementation("tools.aqua:jconstraints-core:0.9.9")
Scala SBT 
libraryDependencies += "tools.aqua" % "jconstraints-core" % "0.9.9"
Groovy Grape 
@Grapes(
  @Grab(group='tools.aqua', module='jconstraints-core', version='0.9.9')
)
Apache Ivy 
<dependency org="tools.aqua" name="jconstraints-core" rev="0.9.9" />
Leiningen 
[tools.aqua/jconstraints-core "0.9.9"]
Apache Buildr 
'tools.aqua:jconstraints-core:jar:0.9.9'
Dependencies

compile

|-- com.google.guava:guava:30.1-jre

|-- dk.brics:automaton:1.12-1

|-- org.apache.commons:commons-math3:3.6.1

|-- org.antlr:antlr:3.5.2

runtime

|-- commons-cli:commons-cli:1.4

|-- org.antlr:antlr-runtime:3.5.2