Download 3.9.3.jar JAR files with dependency

princess_2.13 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.13
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.13
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.13, princess-smt-parser_2.13, scala-parser-combinators_2.13, java-cup,
There are maybe transitive 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_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!

pdftemplate from group one.xingyi (version 1.4.6)

Tools for adding text and images to pdfs

Group: one.xingyi Artifact: pdftemplate
Show all versions Show documentation Show source

0 downloads

Artifact pdftemplate
Group one.xingyi
Version 1.4.6
Last update 21. March 2024
Organization not specified
URL https://github.com/phil-rice/pdftemplate
License BSD style
Dependencies amount 4
Dependencies jfreechart, log4j-core, optics, pdfbox,
There are maybe transitive dependencies!

lovelace from group it.netgrid (version 0.0.8)

A task scheduler with REST interface written in Java

Group: it.netgrid Artifact: lovelace
Show all versions Show documentation Show source

1 downloads

Artifact lovelace
Group it.netgrid
Version 0.0.8
Last update 21. March 2024
Organization Netgrid
URL https://bitbucket.org/netgrid/lovelace
License Apache License, Version 2.0
Dependencies amount 35
Dependencies guice-bridge, jakarta.ws.rs-api, jersey-container-servlet, jersey-media-json-jackson, jersey-hk2, jakarta.xml.bind-api, jackson-module-jakarta-xmlbind-annotations, jaxb-runtime, jersey-common, javax.persistence-api, hk2-metadata-generator, jersey-mvc-freemarker, swagger-jaxrs2-jakarta, swagger-annotations-jakarta, swagger-jaxrs2-servlet-initializer-jakarta, browscap-java, jul-to-slf4j, log4j-slf4j2-impl, guice, guice-persist, guice-servlet, commons, commons-ormlite, quartz, quartz-jobs, commons-validator, commons-lang3, cron-utils, jetty-servlet, jetty-webapp, jakarta.persistence-api, ormlite-core, ormlite-jdbc, h2, jfairy,
There are maybe transitive dependencies!

sitemapgen4j from group io.gdcc (version 2.1.2)

SitemapGen4j is an XML sitemap generator written in Java.

Group: io.gdcc Artifact: sitemapgen4j
Show all versions Show documentation Show source

0 downloads

Artifact sitemapgen4j
Group io.gdcc
Version 2.1.2
Last update 21. March 2024
Organization Global Dataverse Community Consortium
URL https://github.com/gdcc/sitemapgen4j/
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

unroll-plugin_3 from group com.lihaoyi (version 0.1.12)

Main method argument parser for Scala

Group: com.lihaoyi Artifact: unroll-plugin_3
Show all versions Show documentation Show source

0 downloads

Artifact unroll-plugin_3
Group com.lihaoyi
Version 0.1.12
Last update 21. March 2024
Organization not specified
URL https://github.com/com-lihaoyi/unroll
License MIT
Dependencies amount 3
Dependencies scala3-compiler_3, scala3-library_3, unroll-annotation_3,
There are maybe transitive dependencies!

unroll-annotation_3 from group com.lihaoyi (version 0.1.12)

Main method argument parser for Scala

Group: com.lihaoyi Artifact: unroll-annotation_3
Show all versions Show documentation Show source

0 downloads

Artifact unroll-annotation_3
Group com.lihaoyi
Version 0.1.12
Last update 21. March 2024
Organization not specified
URL https://github.com/com-lihaoyi/unroll
License MIT
Dependencies amount 1
Dependencies scala3-library_3,
There are maybe transitive dependencies!

unroll-plugin_2.13 from group com.lihaoyi (version 0.1.12)

Main method argument parser for Scala

Group: com.lihaoyi Artifact: unroll-plugin_2.13
Show all versions Show documentation Show source

0 downloads

Artifact unroll-plugin_2.13
Group com.lihaoyi
Version 0.1.12
Last update 21. March 2024
Organization not specified
URL https://github.com/com-lihaoyi/unroll
License MIT
Dependencies amount 3
Dependencies scala-compiler, scala-library, unroll-annotation_2.13,
There are maybe transitive dependencies!

unroll-annotation_2.13 from group com.lihaoyi (version 0.1.12)

Main method argument parser for Scala

Group: com.lihaoyi Artifact: unroll-annotation_2.13
Show all versions Show documentation Show source

0 downloads

Artifact unroll-annotation_2.13
Group com.lihaoyi
Version 0.1.12
Last update 21. March 2024
Organization not specified
URL https://github.com/com-lihaoyi/unroll
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

Page 1450 from 3 (items total 553639)