JarCasting
JarCasting JarCasting

org.alloytools.pardinus.taglets

A temporal relational model finder, extending the Kodkod relational model finder.

Лицензия

Лицензия
Группа

Группа

org.alloytools
Идентификатор

Идентификатор

pardinus.taglets
Последняя версия

Последняя версия

1.3.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

org.alloytools.pardinus.taglets
A temporal relational model finder, extending the Kodkod relational model finder.

Скачать pardinus.taglets

Имя Файла Размер
pardinus.taglets-1.3.0.pom
pardinus.taglets-1.3.0.jar 4 KB
pardinus.taglets-1.3.0-sources.jar 2 KB
pardinus.taglets-1.3.0-javadoc.jar 41 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.alloytools/pardinus.taglets/ -->
<dependency>
    <groupId>org.alloytools</groupId>
    <artifactId>pardinus.taglets</artifactId>
    <version>1.3.0</version>
</dependency>
// https://jarcasting.com/artifacts/org.alloytools/pardinus.taglets/
implementation 'org.alloytools:pardinus.taglets:1.3.0'
// https://jarcasting.com/artifacts/org.alloytools/pardinus.taglets/
implementation ("org.alloytools:pardinus.taglets:1.3.0")
'org.alloytools:pardinus.taglets:jar:1.3.0'
<dependency org="org.alloytools" name="pardinus.taglets" rev="1.3.0">
  <artifact name="pardinus.taglets" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.alloytools', module='pardinus.taglets', version='1.3.0')
)
libraryDependencies += "org.alloytools" % "pardinus.taglets" % "1.3.0"
[org.alloytools/pardinus.taglets "1.3.0"]

Зависимости

system (1)

Идентификатор библиотеки Тип Версия
jdk.tools » jdk.tools jar 1.8

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.3.0