<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltlparser</artifactId>
<version>2.9.23</version>
</dependency>
compile
|-- de.hhu.stups:prologlib:2.9.23
|-- de.hhu.stups:parserbase:2.9.23
test
|-- junit:junit:4.12