de.hhu.stups:ltl-dsl 0.1.0

Parser for a LTL Pattern DSL

GroupId	de.hhu.stups
ArtifactId	ltl-dsl
Version	0.1.0
Type	jar

Download ltl-dsl 0.1.0

Filename	Size
ltl-dsl-0.1.0.pom
ltl-dsl-0.1.0.jar	119 KB
ltl-dsl-0.1.0-sources.jar	48 KB
ltl-dsl-0.1.0-javadoc.jar	321 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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