All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of green JAR files with all dependencies

Search JAR files by class name

green from group com.github.green-solver (version 0.2.0)

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

Group: com.github.green-solver Artifact: green
Show documentation Show source 
 

0 downloads
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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy