Download puli JAR file with all dependencies
puli from group dev.ikm.puli (version 0.6.0)
A library for manipulating with proofs based on inference rules.
Artifact puli
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies junit, guava,
There are maybe transitive dependencies!
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies junit, guava,
There are maybe transitive 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
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
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 2)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy