Download all versions of puli JAR files with all dependencies
puli from group org.liveontologies (version 0.1.0)
A library for manipulating with proofs based on inference rules.
Artifact puli
Group org.liveontologies
Version 0.1.0
Last update 11. October 2017
Tags: proofs with inference library manipulating based rules
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies guava, slf4j-api,
There are maybe transitive dependencies!
Group org.liveontologies
Version 0.1.0
Last update 11. October 2017
Tags: proofs with inference library manipulating based rules
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies guava, slf4j-api,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)