Download elk-proofs JAR file with all dependencies
elk-proofs from group dev.ikm.elk (version 0.31.0)
Utilities to present tracing results (encoded proofs) to the
user
Artifact elk-proofs
Group dev.ikm.elk
Version 0.31.0
Last update 08. October 2024
Tags: tracing proofs utilities present results user encoded
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies guava, puli, elk-owl-model, elk-owl-implementation, elk-reasoner, elk-util-collections, elk-util-common, elk-util-hashing,
There are maybe transitive dependencies!
Group dev.ikm.elk
Version 0.31.0
Last update 08. October 2024
Tags: tracing proofs utilities present results user encoded
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies guava, puli, elk-owl-model, elk-owl-implementation, elk-reasoner, elk-util-collections, elk-util-common, elk-util-hashing,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)