Download all versions of elk-proofs JAR files with all dependencies
elk-proofs from group io.github.liveontologies (version 0.6.0)
Utilities to present tracing results (encoded proofs) to the user
Artifact elk-proofs
Group io.github.liveontologies
Version 0.6.0
Last update 24. May 2024
Tags: tracing proofs utilities present results user encoded
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies elk-reasoner, elk-util-common, elk-util-collections, elk-util-hashing, elk-owl-model, elk-owl-implementation, puli, guava, slf4j-api,
There are maybe transitive dependencies!
Group io.github.liveontologies
Version 0.6.0
Last update 24. May 2024
Tags: tracing proofs utilities present results user encoded
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies elk-reasoner, elk-util-common, elk-util-collections, elk-util-hashing, elk-owl-model, elk-owl-implementation, puli, guava, slf4j-api,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)