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


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


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) -


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


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




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- Java infrared signals analysis and conversion library
ExchangeIR-javadoc- Javadoc for ExchangeIR
FUR-0.4.6-12.fc24.x86_64.rpm Mount a Windows CE based device on your Linux file system