Download JAR files tagged by other with all dependencies

princess_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.12, princess-smt-parser_2.12, scala-parser-combinators_2.12, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.11, princess-smt-parser_2.11, scala-parser-combinators_2.11, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

ejmask-bom from group com.ebay.ejmask (version 1.0.3)

This Bill of Materials POM can be used to ease dependency management when referencing multiple ejmask and other artifacts using Gradle or Maven.

Group: com.ebay.ejmask Artifact: ejmask-bom
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact ejmask-bom
Group com.ebay.ejmask
Version 1.0.3
Last update 19. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

uploadcare from group com.uploadcare (version 3.5.3)

Java client for the Uploadcare API. Uploadcare handles file uploads, storage and distribution for you, while you focus on other important things.

Group: com.uploadcare Artifact: uploadcare
Show all versions Show documentation Show source

1 downloads

Artifact uploadcare
Group com.uploadcare
Version 3.5.3
Last update 13. March 2024
Organization Uploadcare
URL https://github.com/uploadcare/uploadcare-java
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

funnelback-shared from group com.funnelback (version 16.24.0)

Shared interfaces and other supporting components for building plugins for the Funnelback Enterprise Search Engine

Group: com.funnelback Artifact: funnelback-shared
Show all versions Show documentation Show source

0 downloads

Artifact funnelback-shared
Group com.funnelback
Version 16.24.0
Last update 13. March 2024
Organization not specified
URL https://github.com/FunnelbackPtyLtd/funnelback-shared
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies xstream, guava, validation-api, log4j-api, hibernate-jpa-2.1-api, jackson-databind, jsoup, javax.servlet-api,
There are maybe transitive dependencies!

acc from group io.fair-acc (version 11.3.1)

Collection of accelerator specific widget and functionalities that directly depend on chart-fx or which no other suitable place has been identified (yet).

Group: io.fair-acc Artifact: acc
Show all versions Show documentation Show source

0 downloads

Artifact acc
Group io.fair-acc
Version 11.3.1
Last update 08. March 2024
Organization not specified
URL Not specified
License LGPLv3
Dependencies amount 1
Dependencies chartfx,
There are maybe transitive dependencies!

Page 155 from 3 (items total 3900)