JarCasting
JarCasting JarCasting
is not current version
Last Version 0.1.4 →

LTL Pattern DSL Parser 0.1.3

Parser for a LTL Pattern DSL

License

License
GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

ltl-dsl
Version

Version

0.1.3
Type

Type

jar
Description

Description

LTL Pattern DSL Parser
Parser for a LTL Pattern DSL
Project URL

Project URL

https://gitlab.cs.uni-duesseldorf.de/stups/prob/ltl-pattern-parser
Source Code Management

Source Code Management

https://gitlab.cs.uni-duesseldorf.de/stups/prob/ltl-pattern-parser

Download ltl-dsl 0.1.3

Filename Size
ltl-dsl-0.1.3.pom
ltl-dsl-0.1.3.jar 120 KB
ltl-dsl-0.1.3-sources.jar 55 KB
ltl-dsl-0.1.3-javadoc.jar 333 KB
Browse 

<!-- https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>ltl-dsl</artifactId>
    <version>0.1.3</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation 'de.hhu.stups:ltl-dsl:0.1.3'
// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation ("de.hhu.stups:ltl-dsl:0.1.3")
'de.hhu.stups:ltl-dsl:jar:0.1.3'
<dependency org="de.hhu.stups" name="ltl-dsl" rev="0.1.3">
  <artifact name="ltl-dsl" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='ltl-dsl', version='0.1.3')
)
libraryDependencies += "de.hhu.stups" % "ltl-dsl" % "0.1.3"
[de.hhu.stups/ltl-dsl "0.1.3"]

Dependencies

compile (4)

Group / Artifact Type Version
de.hhu.stups : parserbase jar 2.4.40
org.antlr : antlr4-runtime jar 4.7.2
de.hhu.stups : ltlparser jar 2.4.40
de.hhu.stups : prologlib jar 2.4.40

test (1)

Group / Artifact Type Version
junit : junit jar 4.8.2

Project Modules

There are no modules declared in this project.