Proof Utility Library puli

Group	org.liveontologies
描述	A library for manipulating with proofs based on inference rules.
Packaging	bundle
Size	173.41 KB
文件	pom jar
网址	https://github.com/liveontologies/${project.artifactId}
发布时间	2017-10-12 02:07

dependencies

Group	Artifact	Version
com.google.guava	guava	18.0
org.slf4j	slf4j-api	1.7.12
org.slf4j	slf4j-simple	1.7.12
junit	junit	4.11

developers

yevgeny	Yevgeny Kazakov	Institute of Artificial Intelligence, University of Ulm
pavel	Pavel Klinov	Institute of Artificial Intelligence, University of Ulm
petesko	Peter Skocovsky	Institute of Artificial Intelligence, University of Ulm

licenses

The Apache Software License, Version 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt