Download green JAR 0.2.0 with all dependencies

Universal interface to decision procedures, constraint solvers, model counters, and related tools

Files of the artifact green version 0.2.0 from the group com.github.green-solver.

Test

Artifact green
Group com.github.green-solver
Version 0.2.0
Last update 12. July 2019
Organization GreenSolver
URL https://github.com/GreenSolver/green
License GNU Lesser General Public License
Dependencies amount 9
Dependencies log4j-api, log4j-core, jackson-databind, commons-exec, apfloat, jedis, lettuce-core, choco-solver, javasmt-solver-z3,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of green Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of green version 0.2.0

Please wait ...