4.0.0 com.github.green-solver green 0.2.0 org.apache.logging.log4j log4j-api 2.10.0 compile org.apache.logging.log4j log4j-core 2.10.0 compile com.fasterxml.jackson.core jackson-databind 2.9.4 compile org.apache.commons commons-exec 1.3 compile org.apfloat apfloat 1.8.2 compile redis.clients jedis 2.4.2 compile io.lettuce lettuce-core 5.0.5.RELEASE compile org.choco-solver choco-solver 4.0.6 compile org.sosy-lab javasmt-solver-z3 z3-4.4.1-1558-gf96cfea compile Green Library Universal interface to decision procedures, constraint solvers, model counters, and related tools https://github.com/GreenSolver/green jar GreenSolver https://github.com/GreenSolver GitHub https://github.com/GreenSolver/green/issues GNU Lesser General Public License https://www.gnu.org/licenses/lgpl-3.0.en.html repo https://github.com/GreenSolver/green scm:git:git@github.com:GreenSolver/green.git scm:git:git@github.com:GreenSolver/green.git jacogeld Jaco Geldenhuys jacogeld@gmail.com