MVN

org.eprover : eprover

Maven & Gradle

Nov 21, 2012

Eprover · 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.

Homepage Maven Central

<!-- https://mavenlibs.com/maven/dependency/org.eprover/eprover --><dependency>
    <groupId>org.eprover</groupId>
    <artifactId>eprover</artifactId>
    <version>1.6</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.eprover/eproverimplementation group: 'org.eprover', name: 'eprover', version: '1.6'

// https://mavenlibs.com/maven/dependency/org.eprover/eproverimplementation 'org.eprover:eprover:1.6'

// https://mavenlibs.com/maven/dependency/org.eprover/eproverimplementation("org.eprover:eprover:1.6")

// https://mavenlibs.com/maven/dependency/org.eprover/eproverlibraryDependencies += "org.eprover" % "eprover" % "1.6"

<!-- https://mavenlibs.com/maven/dependency/org.eprover/eprover --><dependency org="org.eprover" name="eprover" rev="1.6"/>

// https://mavenlibs.com/maven/dependency/org.eprover/eprover@Grapes(
    @Grab(group='org.eprover', module='eprover', version='1.6')
)

;; https://mavenlibs.com/maven/dependency/org.eprover/eprover[org.eprover/eprover "1.6"]

# https://mavenlibs.com/maven/dependency/org.eprover/eprover'org.eprover:eprover:jar:1.6'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of org.eprover : eprover to add to Maven or Gradle - Latest Versions:

Latest Stable: 1.6

All Versions

Choose a version of org.eprover : eprover to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
1.6	eprover-1.6		Nov 21, 2012

Version

Vulnerabilities

Updated

1.6

eprover-1.6

Nov 21, 2012

How to add a dependency to Maven

Add the following org.eprover : eprover maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.eprover</groupId>
    <artifactId>eprover</artifactId>
    <version>1.6</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.eprover : eprover gradle dependency to your build.gradle file:

implementation 'org.eprover:eprover:1.6'

Gradle Kotlin DSL: Add the following org.eprover : eprover gradle kotlin dependency to your build.gradle.kts file:

implementation("org.eprover:eprover:1.6")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.eprover : eprover sbt scala dependency to your build.sbt file:

libraryDependencies += "org.eprover" % "eprover" % "1.6"

Dependencies from Group

eprover

@org.eprover

Nov 21, 2012

More Dependencies ❯

Discover Dependencies

planetary-sql

@info.kwarc.sally4

Aug 18, 2014

loglady_2.8.2

@org.eintr.loglady

Jan 23, 2012

23 stars

loglady_2.8.1

@org.eintr.loglady

Jan 23, 2012

23 stars

tapestry-services

@com.flowlogix

Aug 02, 2012

cmi-osgi

@org.ow2.cmi.osgi

Sep 07, 2011

wink-jettison-provider

@org.apache.wink

Aug 26, 2013

1 usages

spark-examples_2.9.2

@org.spark-project

Feb 26, 2013

1.4k stars

c10n-tools

@com.github.rodionmoiseev.c10n

Sep 23, 2014

67 stars

org.apache.servicemix.features.deps

@org.apache.servicemix.features

Feb 27, 2011

ftr-gwt-library-tags

@eu.future-earth.gwt

Jul 10, 2014

More Dependencies ❯