Download jconstraints-core JAR file with all dependencies
jconstraints-core from group tools.aqua (version 0.9.9)
jConstraints is a library for managing SMT constraints in Java
Artifact jconstraints-core
Group tools.aqua
Version 0.9.9
Last update 06. March 2023
Tags: library java jconstraints managing constraints
Organization not specified
URL https://github.com/tudo-aqua/jconstraints
License Apache-2.0
Dependencies amount 4
Dependencies guava, automaton, commons-math3, antlr,
There are maybe transitive dependencies!
Group tools.aqua
Version 0.9.9
Last update 06. March 2023
Tags: library java jconstraints managing constraints
Organization not specified
URL https://github.com/tudo-aqua/jconstraints
License Apache-2.0
Dependencies amount 4
Dependencies guava, automaton, commons-math3, antlr,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)