JarCasting
JarCasting JarCasting

ProB Kodkod

Wrapper to use Kodkod in ProB.

Лицензия

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

Группа

de.hhu.stups
Идентификатор

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

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

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

1.0.6
Дата

Дата
Тип

Тип

jar
Описание

Описание

ProB Kodkod
Wrapper to use Kodkod in ProB.
Ссылка на сайт

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

https://github.com/hhu-stups/probkodkod
Система контроля версий

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

https://github.com/hhu-stups/probkodkod

Скачать probkodkod

Имя Файла Размер
probkodkod-1.0.6.pom
probkodkod-1.0.6.jar 1 MB
probkodkod-1.0.6-sources.jar 204 KB
probkodkod-1.0.6-javadoc.jar 818 KB
Обзор

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

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

Зависимости

compile (2)

Идентификатор библиотеки Тип Версия
org.ow2.sat4j : org.ow2.sat4j.core jar 2.3.5
de.hhu.stups : prologlib jar 2.4.40

test (1)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.8.2

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

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

Kodkod Wrapper for ProB

Build Status

de.hhu.stups

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

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

Версия
1.0.6
1.0.5
1.0.4
1.0.3