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

Download JAR files tagged by constrained with all dependencies


cf-oscore from group org.eclipse.californium (version 4.0.0-M2)

Californium (Cf) OSCORE, Object Security for Constrained RESTful Environments

Group: org.eclipse.californium Artifact: cf-oscore
Show all versions Show documentation Show source 
Download cf-oscore.jar (4.0.0-M2)
 

0 downloads
Artifact cf-oscore
Group org.eclipse.californium
Version 4.0.0-M2
Last update 12. December 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies californium-legal, californium-core, scandium, cbor,
There are maybe transitive dependencies!

constrainedDelegation-1.0 from group io.openliberty.features (version 24.0.0.12)

Group: io.openliberty.features Artifact: constrainedDelegation-1.0
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact constrainedDelegation-1.0
Group io.openliberty.features
Version 24.0.0.12


com.ibm.websphere.appserver.api.constrainedDelegation from group com.ibm.websphere.appserver.api (version 1.0.96)

WebSphere Security Constrained Delegation (S4U2self and S4U2proxy), version 1.0

Group: com.ibm.websphere.appserver.api Artifact: com.ibm.websphere.appserver.api.constrainedDelegation
Show all versions 
Download com.ibm.websphere.appserver.api.constrainedDelegation.jar (1.0.96)
 

7 downloads
Artifact com.ibm.websphere.appserver.api.constrainedDelegation
Group com.ibm.websphere.appserver.api
Version 1.0.96
Last update 02. December 2024
Organization IBM
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

eldarica_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.13
Show documentation Show source 
Download eldarica_2.13.jar (2.1)
 

0 downloads
Artifact eldarica_2.13
Group io.github.uuverifiers
Version 2.1


eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.13
Show documentation Show source 
Download eldarica-cc-parser_2.13.jar (2.1)
 

0 downloads

eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.13
Show documentation Show source 
Download eldarica-tplspec-parser_2.13.jar (2.1)
 

0 downloads

eldarica_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.12
Show documentation Show source 
Download eldarica_2.12.jar (2.1)
 

0 downloads
Artifact eldarica_2.12
Group io.github.uuverifiers
Version 2.1


eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
Show documentation Show source 
Download eldarica-tplspec-parser_2.12.jar (2.1)
 

0 downloads

eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.12
Show documentation Show source 
Download eldarica-cc-parser_2.12.jar (2.1)
 

0 downloads
Artifact eldarica-cc-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.11
Show documentation Show source 
Download eldarica_2.11.jar (2.1)
 

0 downloads
Artifact eldarica_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!



Page 2 from 3 (items total 42)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy