<dependency> <groupId>de.hhu.stups</groupId> <artifactId>ltlparser</artifactId> <version>2.13.2</version> </dependency>
implementation 'de.hhu.stups:ltlparser:2.13.2'
implementation("de.hhu.stups:ltlparser:2.13.2")
libraryDependencies += "de.hhu.stups" % "ltlparser" % "2.13.2"
@Grapes( @Grab(group='de.hhu.stups', module='ltlparser', version='2.13.2') )
<dependency org="de.hhu.stups" name="ltlparser" rev="2.13.2" />
[de.hhu.stups/ltlparser "2.13.2"]
'de.hhu.stups:ltlparser:jar:2.13.2'
compile
|-- de.hhu.stups:sablecc-runtime:3.7.0
|-- de.hhu.stups:prologlib:2.13.2
|-- de.hhu.stups:parserbase:2.13.2