Download ltl-dsl-0.1.0.jar file

Description

Parser for a LTL Pattern DSL

You can download jar file ltl-dsl 0.1.0 in this page.

Eclipse Public License, Version 1.0

You can use the following script to add ltl-dsl-0.1.0.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>ltl-dsl</artifactId>
   <version>0.1.0</version>
</dependency>

compile group: 'de.hhu.stups', name: 'ltl-dsl', version: '0.1.0'

libraryDependencies += "de.hhu.stups" % "ltl-dsl" % "0.1.0"

<dependency org="de.hhu.stups" name="ltl-dsl" rev="0.1.0"/>

@Grapes(@Grab(group='de.hhu.stups', module='ltl-dsl', version='0.1.0'))

'de.hhu.stups:ltl-dsl:jar:0.1.0'

Click the following link to download the jar file.