Description

<dependency>
    <groupId>io.github.de-tu-dresden-inf-lat</groupId>
    <artifactId>evee-libs</artifactId>
    <version>0.6</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://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>
  <parent>
    <groupId>io.github.de-tu-dresden-inf-lat</groupId>
    <artifactId>evee</artifactId>
    <version>0.6</version>
  </parent>
  <groupId>io.github.de-tu-dresden-inf-lat</groupId>
  <artifactId>evee-libs</artifactId>
  <version>0.6</version>
  <name>evee-libs</name>
  <licenses>
    <license>
      <name>MIT License</name>
      <url>http://www.opensource.org/licenses/mit-license.php</url>
    </license>
  </licenses>
  <dependencies>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-data</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-elimination-proofs-core_2.12</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-elimination-proofs-fame_2.12</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-elimination-proofs-lethe_2.12</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-elk-proof-extractor</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-lethe-proof-extractor</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-small-model-generator</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>counterExampleProvider</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>io.github.de-tu-dresden-inf-lat</groupId>
      <artifactId>evee-nemo-proof-extractor</artifactId>
      <version>${project.version}</version>
    </dependency>
  </dependencies>
</project>