E-1.9.1-1.fc25.x86_64.rpm


Advertisement

Description

E - Equational Theorem Prover

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name E
Package version 1.9.1
Package release 1.fc25
Package architecture x86_64
Package type rpm
Installed size 9.26 MB
Download size 1.93 MB
Official Mirror dl.fedoraproject.org
E is a purely equational theorem prover for full first-order logic.
That means it is a program that you can stuff a mathematical
specification (in first-order format) and a hypothesis into, and which
will then run forever, using up all of your machines' resources.  Very
occasionally it will find a proof for the hypothesis and tell you so.
E's inference core is based on a modified version of the superposition
calculus for equational clausal logic.  Both clausification and
reasoning on the clausal form can be documented in checkable proof
objects.
E was the best-performing open source software prover in the 2008 CADE
ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions.  In
the 2011 competition, it won second place in the FOF division, and
placed highly in CNF and UEQ.

Alternatives

Package Version Architecture Repository
E-1.9.1-1.fc25.i686.rpm 1.9.1 i686 Fedora
E - - -

Requires

Name Value
/bin/bash -
libc.so.6(GLIBC_2.15)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
E = 1.9.1-1.fc25
E(x86-64) = 1.9.1-1.fc25

Download

Type URL
Binary Package E-1.9.1-1.fc25.x86_64.rpm
Source Package E-1.9.1-1.fc25.src.rpm

Install Howto

Install the E rpm package:

# dnf install E

Files

Path
/usr/bin/checkproof
/usr/bin/e_axfilter
/usr/bin/e_deduction_server
/usr/bin/e_ltb_runner
/usr/bin/eground
/usr/bin/ekb_create
/usr/bin/ekb_delete
/usr/bin/ekb_ginsert
/usr/bin/ekb_insert
/usr/bin/epclextract
/usr/bin/eproof
/usr/bin/eproof_ram
/usr/bin/eprover
/usr/share/doc/E/CREDITS
/usr/share/doc/E/E-1.4pre.html
/usr/share/doc/E/E-REMARKS
/usr/share/doc/E/E-REMARKS.english
/usr/share/doc/E/NEWS
/usr/share/doc/E/README
/usr/share/doc/E/TODO
/usr/share/doc/E/TSTP_Syntax.txt
/usr/share/doc/E/WISHLIST
/usr/share/doc/E/bug_reporting
/usr/share/doc/E/clib.ps
/usr/share/doc/E/eprover.pdf
/usr/share/doc/E/grammar.txt
/usr/share/doc/E/sample_proofs.html
/usr/share/doc/E/sample_proofs_tstp.html
/usr/share/licenses/E/COPYING
/usr/share/man/man1/checkproof.1.gz
/usr/share/man/man1/e_axfilter.1.gz
/usr/share/man/man1/e_ltb_runner.1.gz
/usr/share/man/man1/eground.1.gz
/usr/share/man/man1/ekb_create.1.gz
/usr/share/man/man1/ekb_delete.1.gz
/usr/share/man/man1/ekb_ginsert.1.gz
/usr/share/man/man1/ekb_insert.1.gz
/usr/share/man/man1/epclextract.1.gz
/usr/share/man/man1/eproof.1.gz
/usr/share/man/man1/eproof_ram.1.gz
/usr/share/man/man1/eprover.1.gz

Changelog

2016-09-01 - Jerry James <loganjerry@gmail.com> - 1.9.1-1
- New upstream release
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.9-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-09-16 - Jerry James <loganjerry@gmail.com> - 1.9-2
- Link with RPM_LD_FLAGS
2015-07-22 - Jerry James <loganjerry@gmail.com> - 1.9-1
- New upstream release
2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-02-13 - Jerry James <loganjerry@gmail.com> - 1.8.001-4
- Use license macro
2014-08-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-06 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8.001-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-09-03 - Jerry James <loganjerry@gmail.com> - 1.8.001-1
- New upstream version
2013-07-29 - Jerry James <loganjerry@gmail.com> - 1.8-1
- New upstream version
- Drop now unneeded -alias patch

See Also

Package Description
EMBOSS-6.6.0-3.fc24.x86_64.rpm The European Molecular Biology Open Software Suite
EMBOSS-devel-6.6.0-3.fc24.i686.rpm Development tools for programs which will use the EMBOSS library
EMBOSS-devel-6.6.0-3.fc24.x86_64.rpm Development tools for programs which will use the EMBOSS library
EMBOSS-libs-6.6.0-3.fc24.i686.rpm Shared libraries for EMBOSS
EMBOSS-libs-6.6.0-3.fc24.x86_64.rpm Shared libraries for EMBOSS
ETL-devel-1.1.10-0.20160624gitd4e547.fc25.i686.rpm Development files for ETL
ETL-devel-1.1.10-0.20160624gitd4e547.fc25.x86_64.rpm Development files for ETL
EekBoek-2.02.05-1.fc25.noarch.rpm Bookkeeping software for small and medium-size businesses
EekBoek-db-postgresql-2.02.05-1.fc25.noarch.rpm PostgreSQL database driver for EekBoek
EekBoek-gui-2.02.05-1.fc25.noarch.rpm EekBoek graphical user interface
ElectricFence-2.2.2-43.fc24.i686.rpm A debugger which detects memory allocation violations
ElectricFence-2.2.2-43.fc24.x86_64.rpm A debugger which detects memory allocation violations
ExchangeIR-0.0.8.2-4.fc24.noarch.rpm Java infrared signals analysis and conversion library
ExchangeIR-javadoc-0.0.8.2-4.fc24.noarch.rpm Javadoc for ExchangeIR
FUR-0.4.6-12.fc24.x86_64.rpm Mount a Windows CE based device on your Linux file system
Advertisement
Advertisement