Description

<dependency>
    <groupId>com.github.tuk-cps</groupId>
    <artifactId>aadd</artifactId>
    <version>1.1.0</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>com.github.tuk-cps</groupId>
  <artifactId>aadd</artifactId>
  <version>1.1.0</version>
  <name>Affine Arithmetic Decision Diagrams (AADD)</name>
  <description>This project implements Affine Arithmetic Decision Diagrams (AADD) in Java. AADD permit in particular the symbolic execution of Java codes.</description>
  <url>https://github.com/TUK-CPS/jAADD</url>
  <licenses>
    <license>
      <name>The MIT License</name>
      <url>https://opensource.org/licenses/MIT</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <id>grimm</id>
      <name>Christoph Grimm</name>
      <email>grimm@cs.uni-kl.de</email>
      <organization>org.apache.maven.model.Organization@29b7c089</organization>
      <organizationUrl>https://cps.cs.uni-kl.de/cps/</organizationUrl>
    </developer>
    <developer>
      <id>zivkovic</id>
      <name>Carna Zivkovic</name>
      <email>zivkovic@cs.uni-kl.de</email>
      <organization>org.apache.maven.model.Organization@a3f08b9</organization>
      <organizationUrl>https://cps.cs.uni-kl.de/cps/</organizationUrl>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:git://github.com/TUK-CPS/jAADD.git</connection>
    <developerConnection>scm:git:ssh://github.com/TUK-CPS/jAADD.git</developerConnection>
    <url>https://github.com/TUK-CPS/jAADD/tree/master</url>
  </scm>
  <dependencies>
    <dependency>
      <groupId>org.apache.commons</groupId>
      <artifactId>commons-math3</artifactId>
      <version>3.6</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.json</groupId>
      <artifactId>json</artifactId>
      <version>20180813</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>com.google.code.gson</groupId>
      <artifactId>gson</artifactId>
      <version>2.2.4</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.junit.jupiter</groupId>
      <artifactId>junit-jupiter-params</artifactId>
      <version>5.5.1</version>
      <scope>test</scope>
    </dependency>
    <dependency>
      <groupId>org.junit.jupiter</groupId>
      <artifactId>junit-jupiter-api</artifactId>
      <version>5.5.1</version>
      <scope>test</scope>
    </dependency>
  </dependencies>
</project>