<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>tla2bAST</artifactId>
<version>1.1.3</version>
</dependency>
compile
|-- commons-cli:commons-cli:1.4
|-- de.hhu.stups:tlatools:1.0.2
|-- de.hhu.stups:prologlib:2.9.23
|-- de.hhu.stups:parserbase:2.9.23
|-- de.hhu.stups:bparser:2.9.23
|-- de.hhu.stups:ltlparser:2.9.23
test
|-- junit:junit:4.12