<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltlparser</artifactId>
<version>2.5.1</version>
</dependency>
compile
|-- de.hhu.stups:parserbase:2.5.1
|-- de.hhu.stups:prologlib:2.5.1
|-- com.google.code.findbugs:jsr305:1.3.9
test