Proof Utility Library

A library for manipulating with proofs based on inference rules.

License	The Apache Software License, Version 2.0
GroupId	org.liveontologies
ArtifactId	puli
Last Version	0.1.0
Release Date	Oct 11, 2017
Type	bundle
Description	Proof Utility Library A library for manipulating with proofs based on inference rules.
Project URL	https://github.com/liveontologies/puli
Project Organization	Live Ontologies Project
Source Code Management	https://github.com/liveontologies/puli

Download puli

Filename	Size
puli-0.1.0.pom
puli-0.1.0.jar	173 KB
puli-0.1.0-sources.jar	111 KB
puli-0.1.0-javadoc.jar	424 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
com.google.guava : guava	jar	18.0
org.slf4j : slf4j-api	jar	1.7.12

test (2)

Group / Artifact	Type	Version
org.slf4j : slf4j-simple	jar	1.7.12
junit : junit	jar	4.11

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.0 Oct 11, 2017