<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>de.prob2.kernel</artifactId>
<version>3.13.0</version>
</dependency>
compile
|-- de.hhu.stups:answerparser:2.9.27
|-- de.hhu.stups:bparser:2.9.27
|-- de.hhu.stups:ltlparser:2.9.27
|-- de.hhu.stups:parserbase:2.9.27
|-- de.hhu.stups:prologlib:2.9.27
|-- de.hhu.stups:unicode:2.9.27
|-- de.hhu.stups:theorymapping:2.9.27
|-- de.hhu.stups:value-translator:0.1.2
|-- org.codehaus.groovy:groovy:3.0.3
|-- org.codehaus.groovy:groovy-jsr223:3.0.3
|-- org.codehaus.groovy:groovy-nio:3.0.3
|-- org.codehaus.groovy:groovy-xml:3.0.3
|-- org.slf4j:slf4j-api:1.7.30
|-- com.github.krukow:clj-ds:0.0.4
|-- com.google.inject:guice:4.2.2
|-- de.hhu.stups:ltl-dsl:0.1.3
|-- de.hhu.stups:rodin-eventb-ast:3.2.0
runtime
|-- com.fatboyindustrial.gson-javatime-serialisers:gson-javatime-serialisers:1.1.1
|-- com.google.guava:guava:28.2-jre
|-- com.google.code.gson:gson:2.8.6