Download all versions of green JAR files with all dependencies
green from group com.github.green-solver (version 0.2.0)
Universal interface to decision procedures, constraint solvers, model counters, and related tools
Artifact green
Group com.github.green-solver
Version 0.2.0
Last update 12. July 2019
Tags: model tools constraint universal solvers interface decision counters procedures related
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!
Group com.github.green-solver
Version 0.2.0
Last update 12. July 2019
Tags: model tools constraint universal solvers interface decision counters procedures related
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!
Page 1 from 1 (items total 1)