ELK Proofs Package elk-proofs

Parent	elk-parent
Group	au.csiro
描述	Utilities to present tracing results (encoded proofs) to the user
Packaging	jar
Size	944.35 KB
文件	pom jar
发布时间	2020-10-11 10:42

dependencies

Group	Artifact	Version
${project.groupId}	elk-reasoner	0.5.0
${project.groupId}	elk-reasoner	0.5.0
${project.groupId}	elk-util-common	0.5.0
${project.groupId}	elk-util-collections	0.5.0
${project.groupId}	elk-util-hashing	0.5.0
${project.groupId}	elk-util-io	0.5.0
${project.groupId}	elk-owl-model	0.5.0
${project.groupId}	elk-owl-implementation	0.5.0
org.liveontologies	puli
com.google.guava	guava
${project.groupId}	elk-util-testing	0.5.0
${project.groupId}	elk-util-concurrent	0.5.0
${project.groupId}	elk-owl-parsing-javacc	0.5.0
org.slf4j	slf4j-api
junit	junit

developers

licenses