<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltl-dsl</artifactId>
<version>0.1.0</version>
</dependency>
compile
|-- de.hhu.stups:ltlparser:2.4.40
|-- de.hhu.stups:parserbase:2.4.40
|-- de.hhu.stups:prologlib:2.4.40
test