<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>de.prob2.kernel</artifactId>
<version>3.15.0</version>
</dependency>
compile
|-- de.hhu.stups:answerparser:2.9.32
|-- de.hhu.stups:bparser:2.9.32
|-- de.hhu.stups:ltlparser:2.9.32
|-- de.hhu.stups:parserbase:2.9.32
|-- de.hhu.stups:prologlib:2.9.32
|-- de.hhu.stups:unicode:2.9.32
|-- de.hhu.stups:theorymapping:2.9.32
|-- de.hhu.stups:value-translator:0.1.2
|-- org.codehaus.groovy:groovy
|-- org.codehaus.groovy:groovy-jsr223
|-- org.codehaus.groovy:groovy-nio
|-- org.codehaus.groovy:groovy-xml
|-- org.slf4j:slf4j-api:1.7.32
|-- com.github.krukow:clj-ds:0.0.4
|-- com.google.inject:guice:5.0.1
|-- de.hhu.stups:ltl-dsl:0.1.3
|-- de.hhu.stups:rodin-eventb-ast:3.2.0
|-- com.fasterxml.jackson.core:jackson-databind
|-- com.fasterxml.jackson.datatype:jackson-datatype-jsr310
runtime
|-- com.fatboyindustrial.gson-javatime-serialisers:gson-javatime-serialisers:1.1.1
|-- com.google.guava:guava:30.1.1-jre