Download JAR files tagged by clauses with all dependencies

java-sql-generator-implementation from group org.java-sql-generator.implementation (version 0.2)

Group: org.java-sql-generator.implementation Artifact: java-sql-generator-implementation
Show all versions Show documentation Show source

5 downloads

Artifact java-sql-generator-implementation
Group org.java-sql-generator.implementation
Version 0.2
Last update 18. October 2010
Organization not specified
URL Not specified
License Apache 2
Dependencies amount 4
Dependencies java-sql-generator-api, junit, atp-spi, slf4j-api,
There are maybe transitive dependencies!

java-sql-generator-api from group org.java-sql-generator.api (version 0.2)

Group: org.java-sql-generator.api Artifact: java-sql-generator-api
Show all versions Show documentation Show source

2 downloads

Artifact java-sql-generator-api
Group org.java-sql-generator.api
Version 0.2
Last update 18. October 2010
Organization not specified
URL Not specified
License Apache 2
Dependencies amount 1
Dependencies atp-api,
There are maybe transitive dependencies!

java-sql-generator from group org.java-sql-generator (version 0.2)

A library for building SQL clauses with Java in a uniform, easy, and safe way. It only understands SQL on syntax level, not semantic level.

Group: org.java-sql-generator Artifact: java-sql-generator
Show all versions

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

0 downloads

Artifact java-sql-generator
Group org.java-sql-generator
Version 0.2
Last update 18. October 2010
Organization not specified
URL http://github.com/stazz/java-sql-generator
License Apache 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

queries from group com.jaregu (version 1.4.1)

Java based SQL templating project. Store your queries in *.sql files and build queries for execution. Supports simple expressions and conditional clauses and interface proxying for java-sql bridge.

Group: com.jaregu Artifact: queries
Show all versions Show documentation Show source

0 downloads

Artifact queries
Group com.jaregu
Version 1.4.1
Last update 15. September 2023
Organization not specified
URL https://github.com/jaregu/queries
License The Apache Software License, Version 2.0
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive 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!

TOVAL from group de.invation.code (version 1.0.2)

TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more.

Group: de.invation.code Artifact: TOVAL
Show all versions Show documentation Show source

1 downloads

Artifact TOVAL
Group de.invation.code
Version 1.0.2
Last update 22. January 2016
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/GerdHolz/TOVAL
License bsd_3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

TOVAL from group de.uni.freiburg.iig.telematik (version 1.0.0)

Group: de.uni.freiburg.iig.telematik Artifact: TOVAL
Show documentation Show source

0 downloads

Artifact TOVAL
Group de.uni.freiburg.iig.telematik
Version 1.0.0
Last update 29. July 2015
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/GerdHolz/TOVAL
License bsd_3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 5 from 5 (items total 47)