| Лицензия |
Лицензия |
|---|---|
| Группа | Группаde.hhu.stups |
| Идентификатор | Идентификаторltl-dsl |
| Последняя версия | Последняя версия0.1.4 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеLTL Pattern DSL Parser
Parser for a LTL Pattern DSL
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| ltl-dsl-0.1.4.pom | |
| ltl-dsl-0.1.4-sources.jar | 55 KB |
| ltl-dsl-0.1.4-javadoc.jar | 333 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/ -->
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltl-dsl</artifactId>
<version>0.1.4</version>
</dependency>// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation 'de.hhu.stups:ltl-dsl:0.1.4'// https://jarcasting.com/artifacts/de.hhu.stups/ltl-dsl/
implementation ("de.hhu.stups:ltl-dsl:0.1.4")'de.hhu.stups:ltl-dsl:jar:0.1.4'<dependency org="de.hhu.stups" name="ltl-dsl" rev="0.1.4">
<artifact name="ltl-dsl" type="jar" />
</dependency>@Grapes(
@Grab(group='de.hhu.stups', module='ltl-dsl', version='0.1.4')
)libraryDependencies += "de.hhu.stups" % "ltl-dsl" % "0.1.4"[de.hhu.stups/ltl-dsl "0.1.4"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| 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 |