Last Version

LTL Pattern DSL Parser 0.1.4

License	License Eclipse Public License, Version 1.0
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

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

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