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

Download all versions of puli JAR files with all dependencies

Search JAR files by class name

puli from group dev.ikm.puli (version 0.4.0)

A library for manipulating with proofs based on inference rules.

Group: dev.ikm.puli Artifact: puli
Show documentation Show source 
 

0 downloads
Artifact puli
Group dev.ikm.puli
Version 0.4.0
Last update 23. August 2024
Tags: with based library inference proofs manipulating rules
Organization not specified
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies slf4j-api, guava, junit,
There are maybe transitive dependencies!

puli from group dev.ikm.puli (version 0.3.0-ikm-r1)

A library for manipulating with proofs based on inference rules.

Group: dev.ikm.puli Artifact: puli
Show documentation Show source 
 

0 downloads
Artifact puli
Group dev.ikm.puli
Version 0.3.0-ikm-r1
Last update 07. August 2024
Tags: with based library inference proofs manipulating rules
Organization not specified
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies slf4j-api, guava, junit,
There are maybe transitive dependencies!


Page 1 from 1 (items total 2)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy