Download LTLParser-0.0.2.jar file

Description

Part of the ProB Parser library

You can download jar file LTLParser 0.0.2 in this page.

GNU General Public License, version 3

You can use the following script to add LTLParser-0.0.2.jar to your project.

<dependency>
   <groupId>de.rwth.i2</groupId>
   <artifactId>LTLParser</artifactId>
   <version>0.0.2</version>
</dependency>

compile group: 'de.rwth.i2', name: 'LTLParser', version: '0.0.2'

libraryDependencies += "de.rwth.i2" % "LTLParser" % "0.0.2"

<dependency org="de.rwth.i2" name="LTLParser" rev="0.0.2"/>

@Grapes(@Grab(group='de.rwth.i2', module='LTLParser', version='0.0.2'))

'de.rwth.i2:LTLParser:jar:0.0.2'

Click the following link to download the jar file.