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

org.alloytools.pardinus.nativesat 1.3.0

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 1.3.0

Имя Файла Размер
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"]

Зависимости

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

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

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