JarCasting
JarCasting JarCasting

org.alloytools.pardinus

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

Лицензия

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

Группа

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

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

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

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

1.3.0
Дата

Дата
Тип

Тип

pom
Описание

Описание

org.alloytools.pardinus
A temporal relational model finder, extending the Kodkod relational model finder.
Ссылка на сайт

Ссылка на сайт

https://github.com/haslab/Pardinus
Система контроля версий

Система контроля версий

http://github.com/haslab/Pardinus/tree/master

Скачать pardinus

Имя Файла Размер
pardinus-1.3.0.pom 4 KB
Обзор

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

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

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

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

  • org.alloytools.pardinus.core
  • org.alloytools.pardinus.nativesat
  • org.alloytools.pardinus.taglets

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

Версия
1.3.0