Green Library 0.2.0

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
Version	0.2.0
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 0.2.0

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

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.