文件下载
文件名 操作
ltlparser-2.13.2.jar 下载
ltlparser-2.13.2.pom 下载
ltlparser-2.13.2-sources.jar 下载
Apache Maven
<dependency>
  <groupId>de.hhu.stups</groupId>
  <artifactId>ltlparser</artifactId>
  <version>2.13.2</version>
</dependency>
Gradle Groovy
implementation 'de.hhu.stups:ltlparser:2.13.2'
Gradle Kotlin
implementation("de.hhu.stups:ltlparser:2.13.2")
Scala SBT
libraryDependencies += "de.hhu.stups" % "ltlparser" % "2.13.2"
Groovy Grape
@Grapes(
  @Grab(group='de.hhu.stups', module='ltlparser', version='2.13.2')
)
Apache Ivy
<dependency org="de.hhu.stups" name="ltlparser" rev="2.13.2" />
Leiningen
[de.hhu.stups/ltlparser "2.13.2"]
Apache Buildr
'de.hhu.stups:ltlparser:jar:2.13.2'