Download JAR files tagged by assuming with all dependencies

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.

Provides a Checkstyle and PMD configuration. The PMD configuration is meant to allow for future hierarchical levels to be defined, so that projects can choose which level to adhere. Checkstyle is not as flexible. I have provided a check that looks for a BSD 3 clause header in your project assuming that will be your default, especially in the https://github.com/salesforce/ repositories.

manage jar dependencies for gems and keep track which jar was already loaded using maven artifact coordinates. it warns on version conflicts and loads only ONE jar assuming the first one is compatible to the second one otherwise your project needs to lock down the right version by providing a Jars.lock file.