ELK Proofs Package

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

License	The Apache Software License, Version 2.0
GroupId	au.csiro
ArtifactId	elk-proofs
Last Version	0.5.0
Release Date	Oct 11, 2020
Type	jar
Description	ELK Proofs Package Utilities to present tracing results (encoded proofs) to the user
Project Organization	Department of Computer Science, University of Oxford

Download elk-proofs

Filename	Size
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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/au.csiro/elk-proofs/ -->
<dependency>
    <groupId>au.csiro</groupId>
    <artifactId>elk-proofs</artifactId>
    <version>0.5.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/au.csiro/elk-proofs/
implementation 'au.csiro:elk-proofs:0.5.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/au.csiro/elk-proofs/
implementation ("au.csiro:elk-proofs:0.5.0")

Apache Buildr

'au.csiro:elk-proofs:jar:0.5.0'

Apache Ivy

<dependency org="au.csiro" name="elk-proofs" rev="0.5.0">
  <artifact name="elk-proofs" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='au.csiro', module='elk-proofs', version='0.5.0')
)

Scala SBT

libraryDependencies += "au.csiro" % "elk-proofs" % "0.5.0"

Leiningen

[au.csiro/elk-proofs "0.5.0"]

Dependencies

compile (10)

Group / Artifact	Type	Version
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)

Group / Artifact	Type	Version
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

Project Modules

There are no modules declared in this project.

Versions

Version
0.5.0 Oct 11, 2020