JarCasting
JarCasting JarCasting

ELK Proofs Package

Utilities to present tracing results (encoded proofs) to the user

Лицензия

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

Группа

au.csiro
Идентификатор

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

elk-proofs
Последняя версия

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

0.5.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

ELK Proofs Package
Utilities to present tracing results (encoded proofs) to the user
Организация-разработчик

Организация-разработчик

Department of Computer Science, University of Oxford

Скачать elk-proofs

Имя Файла Размер
elk-proofs-0.5.0.pom
elk-proofs-0.5.0.jar 944 KB
elk-proofs-0.5.0-tests.jar 14 KB
elk-proofs-0.5.0-sources.jar 477 KB
elk-proofs-0.5.0-javadoc.jar 5 MB
Обзор

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

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

Зависимости

compile (10)

Идентификатор библиотеки Тип Версия
au.csiro : elk-reasoner jar 0.5.0
au.csiro : elk-util-common jar 0.5.0
au.csiro : elk-util-collections jar 0.5.0
au.csiro : elk-util-hashing jar 0.5.0
au.csiro : elk-util-io jar 0.5.0
au.csiro : elk-owl-model jar 0.5.0
au.csiro : elk-owl-implementation jar 0.5.0
org.liveontologies : puli jar 0.1.0
com.google.guava : guava jar 18.0
org.slf4j : slf4j-api jar 1.7.25

test (5)

Идентификатор библиотеки Тип Версия
au.csiro : elk-reasoner test-jar 0.5.0
au.csiro : elk-util-testing jar 0.5.0
au.csiro : elk-util-concurrent test-jar 0.5.0
au.csiro : elk-owl-parsing-javacc jar 0.5.0
junit : junit jar 4.12

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

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

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

Версия
0.5.0