Download ltlparser-2.9.3.jar file - Jar l

Jar examples for l:LTLParser

Description

Part of the ProB Parser library

You can download jar file ltlparser 2.9.3 in this page.

License

GNU General Public License, version 3

Build File

You can use the following script to add ltlparser-2.9.3.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>ltlparser</artifactId>
   <version>2.9.3</version>
</dependency>
compile group: 'de.hhu.stups', name: 'ltlparser', version: '2.9.3'
libraryDependencies += "de.hhu.stups" % "ltlparser" % "2.9.3"
<dependency org="de.hhu.stups" name="ltlparser" rev="2.9.3"/>
@Grapes(@Grab(group='de.hhu.stups', module='ltlparser', version='2.9.3'))
'de.hhu.stups:ltlparser:jar:2.9.3'

Download

Click the following link to download the jar file.

ltlparser-2.9.3-javadoc.jar
ltlparser-2.9.3-sources.jar
ltlparser-2.9.3.jar
ltlparser-2.9.3.pom



Related Tutorials