ltlparser

Part of the ProB Parser library

'de.hhu.stups:ltlparser:2.5.0'

<dependency>
	<groupId>de.hhu.stups</groupId>
	<artifactId>ltlparser</artifactId>
	<version>2.5.0</version>
</dependency>

<dependency org="de.hhu.stups" name="ltlparser" rev="2.5.0"/>

"de.hhu.stups", "ltlparser", "2.5.0"

Dependencies