All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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.

Group: dev.ikm.puli Artifact: puli
Show all versions Show documentation Show source 
Download puli.jar (0.6.0)
 

0 downloads
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!

puli from group org.liveontologies (version 0.1.0)

A library for manipulating with proofs based on inference rules.

Group: org.liveontologies Artifact: puli
Show documentation Show source 
Download puli.jar (0.1.0)
 

4 downloads
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!



Page 1 from 1 (items total 2)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy