JarCasting
JarCasting JarCasting

org.alloytools.pardinus.nativesat

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

Лицензия

Лицензия
Категории

Категории

Native Инструменты разработки
Группа

Группа

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

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

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

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

1.3.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

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

Скачать pardinus.nativesat

Имя Файла Размер
pardinus.nativesat-1.3.0.pom
pardinus.nativesat-1.3.0.jar 15 MB
pardinus.nativesat-1.3.0-sources.jar 15 MB
pardinus.nativesat-1.3.0-javadoc.jar 44 KB
Обзор

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

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

Зависимости

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

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

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

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

Версия
1.3.0