Green Library

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

License	GNU Lesser General Public License
GroupId	com.github.green-solver
ArtifactId	green
Last Version	0.2.0
Release Date	Jul 12, 2019
Type	jar
Description	Green Library Universal interface to decision procedures, constraint solvers, model counters, and related tools
Project URL	https://github.com/GreenSolver/green
Project Organization	GreenSolver
Source Code Management	https://github.com/GreenSolver/green

Download green

Filename	Size
green-0.2.0.pom
green-0.2.0.jar	297 KB
green-0.2.0-sources.jar	154 KB
green-0.2.0-javadoc.jar	261 bytes

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.green-solver/green/ -->
<dependency>
    <groupId>com.github.green-solver</groupId>
    <artifactId>green</artifactId>
    <version>0.2.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.green-solver/green/
implementation 'com.github.green-solver:green:0.2.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.green-solver/green/
implementation ("com.github.green-solver:green:0.2.0")

Apache Buildr

'com.github.green-solver:green:jar:0.2.0'

Apache Ivy

<dependency org="com.github.green-solver" name="green" rev="0.2.0">
  <artifact name="green" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.green-solver', module='green', version='0.2.0')
)

Scala SBT

libraryDependencies += "com.github.green-solver" % "green" % "0.2.0"

Leiningen

[com.github.green-solver/green "0.2.0"]

Dependencies

compile (9)

Group / Artifact	Type	Version
org.apache.logging.log4j : log4j-api	jar	2.10.0
org.apache.logging.log4j : log4j-core	jar	2.10.0
com.fasterxml.jackson.core : jackson-databind	jar	2.9.4
org.apache.commons : commons-exec	jar	1.3
org.apfloat : apfloat	jar	1.8.2
redis.clients : jedis	jar	2.4.2
io.lettuce : lettuce-core	jar	5.0.5.RELEASE
org.choco-solver : choco-solver	jar	4.0.6
org.sosy-lab : javasmt-solver-z3	jar	z3-4.4.1-1558-gf96cfea

Project Modules

There are no modules declared in this project.

Versions

Version
0.2.0 Jul 12, 2019