v0.1

To use this in your maven projects, add the following dependency:

<dependency>
  <groupId>edu.kit.kastel.mcse.ardoco</groupId>
  <artifactId>core</artifactId>
  <version>0.1</version>
</dependency>

You also need to add a Github Packages repository (see also here) like the following:

<repositories>
  <repository>
    <id>github</id>
    <name>GitHub ArDoCo/Core Apache Maven Packages</name>
    <url>https://maven.pkg.github.com/ArDoCo/Core</url>
  </repository>
</repositories>