Description

<dependency>
    <groupId>com.github.green-solver</groupId>
    <artifactId>green</artifactId>
    <version>0.2.0</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>com.github.green-solver</groupId>
  <artifactId>green</artifactId>
  <version>0.2.0</version>
  <dependencies>
    <dependency>
      <groupId>org.apache.logging.log4j</groupId>
      <artifactId>log4j-api</artifactId>
      <version>2.10.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.apache.logging.log4j</groupId>
      <artifactId>log4j-core</artifactId>
      <version>2.10.0</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>com.fasterxml.jackson.core</groupId>
      <artifactId>jackson-databind</artifactId>
      <version>2.9.4</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.apache.commons</groupId>
      <artifactId>commons-exec</artifactId>
      <version>1.3</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.apfloat</groupId>
      <artifactId>apfloat</artifactId>
      <version>1.8.2</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>redis.clients</groupId>
      <artifactId>jedis</artifactId>
      <version>2.4.2</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>io.lettuce</groupId>
      <artifactId>lettuce-core</artifactId>
      <version>5.0.5.RELEASE</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.choco-solver</groupId>
      <artifactId>choco-solver</artifactId>
      <version>4.0.6</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.sosy-lab</groupId>
      <artifactId>javasmt-solver-z3</artifactId>
      <version>z3-4.4.1-1558-gf96cfea</version>
      <scope>compile</scope>
    </dependency>
  </dependencies>
  <name>Green Library</name>
  <description>Universal interface to decision procedures, constraint solvers, model counters, and related tools</description>
  <url>https://github.com/GreenSolver/green</url>
  <packaging>jar</packaging>
  <organization>
    <name>GreenSolver</name>
    <url>https://github.com/GreenSolver</url>
  </organization>
  <issueManagement>
    <system>GitHub</system>
    <url>https://github.com/GreenSolver/green/issues</url>
  </issueManagement>
  <licenses>
    <license>
      <name>GNU Lesser General Public License</name>
      <url>https://www.gnu.org/licenses/lgpl-3.0.en.html</url>
      <distribution>repo</distribution>
    </license>
  </licenses>
  <scm>
    <url>https://github.com/GreenSolver/green</url>
    <connection>scm:git:git@github.com:GreenSolver/green.git</connection>
    <developerConnection>scm:git:git@github.com:GreenSolver/green.git</developerConnection>
  </scm>
  <developers>
    <developer>
      <id>jacogeld</id>
      <name>Jaco Geldenhuys</name>
      <email>jacogeld@gmail.com</email>
    </developer>
  </developers>
</project>