E-2.1-2.fc29.i686.rpm


Advertisement

Description

E - Equational Theorem Prover

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename E-2.1-2.fc29.i686.rpm
Package name E
Package version 2.1
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://www.eprover.org/
License GPLv2+ or LGPLv2+
Maintainer -
Download size 1.82 MB
Installed size 9.53 MB
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-2.2-1.fc29.x86_64.rpm 2.2 x86_64 Fedora Updates
E-2.2-1.fc29.i686.rpm 2.2 i686 Fedora Updates
E-2.1-2.fc29.x86_64.rpm 2.1 x86_64 Fedora
E - - -

Requires

Name Value
libc.so.6(GLIBC_2.15) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
picosat -
rtld(GNU_HASH) -

Provides

Name Value
E = 2.1-2.fc29
E(x86-32) = 2.1-2.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package E-2.1-2.fc29.i686.rpm
Source Package E-2.1-2.fc29.src.rpm

Install Howto

Install 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/e_stratpar
/usr/bin/eground
/usr/bin/ekb_create
/usr/bin/ekb_delete
/usr/bin/ekb_ginsert
/usr/bin/ekb_insert
/usr/bin/epclextract
/usr/bin/eprover
/usr/lib/.build-id/
/usr/lib/.build-id/12/ab9a816343d294873b93d535d1f9fdc182c627
/usr/lib/.build-id/23/dc7a42b028fa81431165a7a836456e2c2ace9e
/usr/lib/.build-id/2e/c47fa607133e1f7468f8c1b200775a5b96f9f5
/usr/lib/.build-id/89/30400a7a030c2db583459423121b591cfab61e
/usr/lib/.build-id/93/0a6d01a8f607a70c5f7331b396700e8d832de0
/usr/lib/.build-id/a9/7c26c8829160582ebd0d1d7a9cce3881fb7ee7
/usr/lib/.build-id/c8/166a404b3ea50ab7fa7315af622874d9efa3d7
/usr/lib/.build-id/ca/113f95f2239bd55d5e22fa69ccecb99f6920b0
/usr/lib/.build-id/da/b6eddc914600ba6fb235d1932c7af0b9e8f437
/usr/lib/.build-id/da/ea6bc5e918c468c3600ec15d765b4f9842f9d4
/usr/lib/.build-id/df/98ab8ef77a77282ab82319bde954eed75ec533
/usr/lib/.build-id/e8/662863f421404870661769ab8c13006d3a2f00
/usr/share/doc/E/ANNOUNCE
/usr/share/doc/E/CONTRIBUTORS
/usr/share/doc/E/E-0.6.html
/usr/share/doc/E/E-0.62.html
/usr/share/doc/E/E-0.7.html
/usr/share/doc/E/E-0.8.html
/usr/share/doc/E/E-0.82.html
/usr/share/doc/E/E-0.99.html
/usr/share/doc/E/E-0.999.html
/usr/share/doc/E/E-1.0pre.html
/usr/share/doc/E/E-1.1pre.html
/usr/share/doc/E/E-1.2pre.html
/usr/share/doc/E/E-1.4pre.html
/usr/share/doc/E/E-1.6pre.html
/usr/share/doc/E/E-1.8pre.html
/usr/share/doc/E/E-1.9.1pre.html
/usr/share/doc/E/E-1.9pre.html
/usr/share/doc/E/E-2.1pre.html
/usr/share/doc/E/E-2.2pre.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/README.server
/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/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_deduction_server.1.gz
/usr/share/man/man1/e_ltb_runner.1.gz
/usr/share/man/man1/e_stratpar.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/eprover.1.gz

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 2.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-03 - Jerry James <loganjerry@gmail.com> - 2.1-1
- New upstream release
- Unbundle picosat
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 2.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 2.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 2.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-08 - Jerry James <loganjerry@gmail.com> - 2.0-1
- New upstream release
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 1.9.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-09-01 - Jerry James <loganjerry@gmail.com> - 1.9.1-1
- New upstream release

See Also

Package Description
EMBOSS-6.6.0-12.fc29.i686.rpm The European Molecular Biology Open Software Suite
EMBOSS-devel-6.6.0-12.fc29.i686.rpm Development tools for programs which will use the EMBOSS library
EMBOSS-libs-6.6.0-12.fc29.i686.rpm Shared libraries for EMBOSS
ETL-devel-1.2.1-4.fc29.i686.rpm Development files for ETL
EekBoek-2.03-6.fc29.noarch.rpm Bookkeeping software for small and medium-size businesses
EekBoek-db-postgresql-2.03-6.fc29.noarch.rpm PostgreSQL database driver for EekBoek
EekBoek-gui-2.03-6.fc29.noarch.rpm EekBoek graphical user interface
ElectricFence-2.2.2-48.fc29.i686.rpm A debugger which detects memory allocation violations
ExchangeIR-0.0.8.2-9.fc29.noarch.rpm Java infrared signals analysis and conversion library
ExchangeIR-javadoc-0.0.8.2-9.fc29.noarch.rpm Javadoc for ExchangeIR
FUR-0.4.6-17.fc29.i686.rpm Mount a Windows CE based device on your Linux file system
Falcon-0.9.6.8-15.fc29.i686.rpm The Falcon Programming Language
Falcon-devel-0.9.6.8-15.fc29.i686.rpm Development files for Falcon
Falcon-doc-0.9.6.8-15.fc29.noarch.rpm Documentation for Falcon
Field3D-1.7.2-11.fc29.i686.rpm Library for storing voxel data
Advertisement
Advertisement