LTL Pattern DSL Parser

Parser for a LTL Pattern DSL

License	Eclipse Public License, Version 1.0
GroupId	de.hhu.stups
ArtifactId	ltl-dsl
Last Version	0.1.4
Release Date	May 9, 2022
Type	jar
Description	LTL Pattern DSL Parser Parser for a LTL Pattern DSL
Project URL	https://gitlab.cs.uni-duesseldorf.de/stups/prob/ltl-pattern-parser
Source Code Management	https://gitlab.cs.uni-duesseldorf.de/stups/prob/ltl-pattern-parser

Download ltl-dsl

Filename	Size
ltl-dsl-0.1.4.pom
ltl-dsl-0.1.4-sources.jar	55 KB
ltl-dsl-0.1.4-javadoc.jar	333 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>ltl-dsl</artifactId>
    <version>0.1.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation 'de.hhu.stups:ltl-dsl:0.1.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation ("de.hhu.stups:ltl-dsl:0.1.4")

Apache Buildr

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

Apache Ivy

<dependency org="de.hhu.stups" name="ltl-dsl" rev="0.1.4">
  <artifact name="ltl-dsl" type="jar" />
</dependency>

Groovy Grape

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

Scala SBT

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

Leiningen

[de.hhu.stups/ltl-dsl "0.1.4"]

Dependencies

compile (4)

Group / Artifact	Type	Version
org.antlr : antlr4-runtime	jar	4.9.3
de.hhu.stups : parserbase	jar	2.9.25
de.hhu.stups : prologlib	jar	2.9.25
org.antlr : antlr4	jar	4.9.3

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.4 May 9, 2022
0.1.3 Feb 20, 2020
0.1.2 Jan 8, 2020
0.1.1 Jun 11, 2018
0.1.0 Aug 12, 2015