Download JAR files tagged by conjecture with all dependencies
conjecture_2.12 from group com.etsy (version 0.3.0)
conjecture
Artifact conjecture_2.12
Group com.etsy
Version 0.3.0
Last update 16. February 2018
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 16
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, gson, algebird-core_2.12, scalding-core_2.12, commons-lang, natty, spray-json_2.12, guava, commons-math3, hadoop-common, hadoop-hdfs, scala-reflect, trove4j,
There are maybe transitive dependencies!
Group com.etsy
Version 0.3.0
Last update 16. February 2018
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 16
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, gson, algebird-core_2.12, scalding-core_2.12, commons-lang, natty, spray-json_2.12, guava, commons-math3, hadoop-common, hadoop-hdfs, scala-reflect, trove4j,
There are maybe transitive dependencies!
conjecture_2.11 from group com.etsy (version 0.3.0)
conjecture
0 downloads
Artifact conjecture_2.11
Group com.etsy
Version 0.3.0
Last update 16. February 2018
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 20
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, cascading.kryo, gson, maple, algebird-core_2.11, scalding-core_2.11, commons-lang, natty, spray-json_2.11, guava, commons-math3, hadoop-common, hadoop-hdfs, hadoop-tools, scala-reflect, trove4j, kryo,
There are maybe transitive dependencies!
Group com.etsy
Version 0.3.0
Last update 16. February 2018
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 20
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, cascading.kryo, gson, maple, algebird-core_2.11, scalding-core_2.11, commons-lang, natty, spray-json_2.11, guava, commons-math3, hadoop-common, hadoop-hdfs, hadoop-tools, scala-reflect, trove4j, kryo,
There are maybe transitive dependencies!
conjecture_2.10 from group com.etsy (version 0.2.3)
conjecture
0 downloads
Artifact conjecture_2.10
Group com.etsy
Version 0.2.3
Last update 24. April 2017
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 20
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, cascading.kryo, gson, maple, algebird-core_2.10, scalding-core_2.10, commons-lang, natty, spray-json_2.10, guava, commons-math3, hadoop-common, hadoop-hdfs, hadoop-tools, scala-reflect, trove4j, kryo,
There are maybe transitive dependencies!
Group com.etsy
Version 0.2.3
Last update 24. April 2017
Organization com.etsy
URL https://github.com/etsy/Conjecture
License MIT License
Dependencies amount 20
Dependencies scala-library, cascading-core, cascading-local, cascading-hadoop, cascading.kryo, gson, maple, algebird-core_2.10, scalding-core_2.10, commons-lang, natty, spray-json_2.10, guava, commons-math3, hadoop-common, hadoop-hdfs, hadoop-tools, scala-reflect, trove4j, kryo,
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.
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!
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!
Page 1 from 1 (items total 4)