Download JAR files tagged by logic with all dependencies

eprover from group org.eprover (version 1.6)

E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms.

Group: org.eprover Artifact: eprover

0 downloads

Artifact eprover
Group org.eprover
Version 1.6
Last update 21. November 2012
Organization not specified
URL http://www.eprover.org
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

niosmtp from group me.normanmaurer.niosmtp (version 0.1.2)

niosmtp is an async based SMTP/LMTP client, which can be used to send an big amount of emails in a fast manner. The transport layer is decoupled from the protocol logic, this allows easy implementing of an other transport layer. Included is a NIO and OIO based transport layer build on top of netty.

Group: me.normanmaurer.niosmtp Artifact: niosmtp
Show all versions Show documentation Show source

0 downloads

Artifact niosmtp
Group me.normanmaurer.niosmtp
Version 0.1.2
Last update 27. July 2012
Organization not specified
URL https://github.com/normanmaurer/niosmtp
License Apache License, Version 2.0
Dependencies amount 3
Dependencies netty, slf4j-api, commons-codec,
There are maybe transitive dependencies!

struts-parent from group org.apache.struts (version 2)

The goal of the Apache Struts project is to encourage application architectures based on the "Model 2" approach, a variation of the classic Model-View-Controller (MVC) design paradigm. Under Model 2, a servlet (or equivalent) manages business logic execution, and presentation logic resides mainly in server pages.

Group: org.apache.struts Artifact: struts-parent
Show all versions

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

0 downloads

Artifact struts-parent
Group org.apache.struts
Version 2
Last update 06. May 2006
Organization not specified
URL http://struts.apache.org/
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

mi-label from group gov.nasa.pds (version 1.5.2)

The Metadata Injector for PDS Labels (MILabel) provides a command-line interface for generating PDS4 Labels using a user provided PDS4 XML template and input (source) data products. The PDS4 XML Templates use Apache Velocity variables and logic to generate the PDS4 labels. For inputs, the tool currently supports detached and attached ODL/PDS3 labels with plans to support VICAR attached labels and CSV files.

Group: gov.nasa.pds Artifact: mi-label
Show all versions Show documentation Show source

0 downloads

Artifact mi-label
Group gov.nasa.pds
Version 1.5.2
Last update 25. May 2024
Organization not specified
URL https://nasa-pds.github.io/mi-label/
License The Apache License, Version 2.0
Dependencies amount 10
Dependencies commons-cli, velocity, velocity-tools, commons-io, commons-collections, jackson-databind, vicario, pds3-product-tools, slf4j-api, slf4j-simple,
There are maybe transitive dependencies!

jadex-kernel-micro from group org.activecomponents.jadex (version 4.0.267)

The Jadex micro kernel provides a lightweight and very efficient kernel for minimal agents with an extremely low memory footprint. Micro agents have a simple internal architecture that is similar to active objects. They are programmed as Java objects overriding a framework class, which has predefined methods for the setup, termination, execution logic as well as message receipt.

Group: org.activecomponents.jadex Artifact: jadex-kernel-micro
Show all versions Show documentation Show source

3 downloads

Artifact jadex-kernel-micro
Group org.activecomponents.jadex
Version 4.0.267
Last update 08. September 2022
Organization not specified
URL https://www.activecomponents.org
License GPL-3.0
Dependencies amount 4
Dependencies jadex-util-commons, jadex-util-javaparser, jadex-platform-bridge, jadex-kernel-base,
There are maybe transitive dependencies!

jadex-kernel-microservice from group org.activecomponents.jadex (version 4.0.267)

Group: org.activecomponents.jadex Artifact: jadex-kernel-microservice
Show all versions Show documentation Show source

0 downloads

Artifact jadex-kernel-microservice
Group org.activecomponents.jadex
Version 4.0.267
Last update 08. September 2022
Organization not specified
URL https://www.activecomponents.org
License GPL-3.0
Dependencies amount 5
Dependencies jadex-util-commons, jadex-util-javaparser, jadex-platform-bridge, jadex-kernel-base, jadex-kernel-micro,
There are maybe transitive dependencies!

pmptt from group one.edee.oss (version 1.2.2)

Library encapsulates a special flavour of MPTT algorithm with predictable bound computation logic, that allows to minimize write overhead that is otherwise closely connected to standard MPTT algorithm. MPTT flattens hierarchical structure to flat structure with bounds that allow quick filtering children or parent nodes when required.

Group: one.edee.oss Artifact: pmptt
Show all versions

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

0 downloads

Artifact pmptt
Group one.edee.oss
Version 1.2.2
Last update 24. June 2022
Organization FG Forrest, a.s.
URL https://github.com/FgForrest/PMPTT/
License MIT License
Dependencies amount 3
Dependencies jsr305, commons-logging, lombok,
There are maybe transitive dependencies!

pmptt_core from group one.edee.oss (version 1.2.2)

Group: one.edee.oss Artifact: pmptt_core
Show all versions Show documentation Show source

0 downloads

Artifact pmptt_core
Group one.edee.oss
Version 1.2.2
Last update 24. June 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

pmptt_rdbms from group one.edee.oss (version 1.2.2)

Group: one.edee.oss Artifact: pmptt_rdbms
Show all versions Show documentation Show source

0 downloads

Artifact pmptt_rdbms
Group one.edee.oss
Version 1.2.2
Last update 24. June 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies darwin, pmptt_core, spring-core, spring-context, spring-jdbc, spring-tx,
There are maybe transitive dependencies!

pmptt_tests from group one.edee.oss (version 1.2.2)

Group: one.edee.oss Artifact: pmptt_tests
Show all versions

0 downloads

Artifact pmptt_tests
Group one.edee.oss
Version 1.2.2
Last update 24. June 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies pmptt_core, pmptt_rdbms,
There are maybe transitive dependencies!

Page 102 from 3 (items total 1193)