Last Version

LTL Pattern DSL Parser 0.1.4

Parser for a LTL Pattern DSL

License

License

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

ltl-dsl
Version

Version

0.1.4
Type

Type

pom.sha512
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.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.