JarCasting
JarCasting JarCasting

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.

Лицензия

Лицензия
Группа

Группа

org.eprover
Идентификатор

Идентификатор

eprover
Последняя версия

Последняя версия

1.6
Дата

Дата
Тип

Тип

jar
Описание

Описание

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.
Ссылка на сайт

Ссылка на сайт

http://www.eprover.org

Скачать eprover

Имя Файла Размер
eprover-1.6.pom
eprover-1.6.jar 7 MB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.eprover/eprover/ -->
<dependency>
    <groupId>org.eprover</groupId>
    <artifactId>eprover</artifactId>
    <version>1.6</version>
</dependency>
// https://jarcasting.com/artifacts/org.eprover/eprover/
implementation 'org.eprover:eprover:1.6'
// https://jarcasting.com/artifacts/org.eprover/eprover/
implementation ("org.eprover:eprover:1.6")
'org.eprover:eprover:jar:1.6'
<dependency org="org.eprover" name="eprover" rev="1.6">
  <artifact name="eprover" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.eprover', module='eprover', version='1.6')
)
libraryDependencies += "org.eprover" % "eprover" % "1.6"
[org.eprover/eprover "1.6"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.6