E-2.2-1.fc29.x86_64.rpm


Advertisement

Description

E - Equational Theorem Prover

Property Value
Distribution Fedora 29
Repository Fedora Updates x86_64
Package name E
Package version 2.2
Package release 1.fc29
Package architecture x86_64
Package type rpm
Installed size 9.11 MB
Download size 1.61 MB
Official Mirror download-ib01.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-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-2.1-2.fc29.i686.rpm 2.1 i686 Fedora
E - - -

Requires

Name Value
libc.so.6(GLIBC_2.15)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libpicosat-trace.so.0()(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
E = 2.2-1.fc29
E(x86-64) = 2.2-1.fc29

Download

Type URL
Binary Package E-2.2-1.fc29.x86_64.rpm
Source Package E-2.2-1.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/2f/b7c8fb07152a05236f55ac36057510287b6d4c
/usr/lib/.build-id/39/1daccb1b60eb7515e292a960d0cb19ea9c6d7e
/usr/lib/.build-id/3b/51f79bf51e2137de61b15d277dd419cde7349d
/usr/lib/.build-id/47/934c4f0fcda56efa29be3c366075d192e08062
/usr/lib/.build-id/4e/7742b9f152891aea318d5b34c0be95bd8b30d3
/usr/lib/.build-id/a2/c42146b7342ef90b1d225ffa89e6dbee88212a
/usr/lib/.build-id/ca/0e01ca8facaeffde1c3f326b7d5960c8cd76bc
/usr/lib/.build-id/d0/a8ebb2aee7396a74e9fc971f0355ef047f1d6f
/usr/lib/.build-id/d1/5d3ac5c80c2f52d018580f803a1d47c34fa5d0
/usr/lib/.build-id/d1/a24dbf2679ec22de9c2705fb9654d395cc574a
/usr/lib/.build-id/da/a8ce59850dfa89ad6de9254c6117901f8f0606
/usr/lib/.build-id/e5/eb11d6267aa71520adb56bce9b9722c93c5c48
/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-10-30 - Jerry James <loganjerry@gmail.com> - 2.2-1
- New upstream release
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

See Also

Package Description
GAPDoc-1.6.2-1.fc29.noarch.rpm GAP documentation tool
GAPDoc-latex-1.6.2-1.fc29.noarch.rpm All LaTeX dependencies for GAPDoc
GMT-5.4.4-3.fc29.i686.rpm Generic Mapping Tools
GMT-5.4.4-3.fc29.x86_64.rpm Generic Mapping Tools
GMT-common-5.4.4-3.fc29.noarch.rpm Common files for GMT
GMT-devel-5.4.4-3.fc29.i686.rpm Development files for GMT
GMT-devel-5.4.4-3.fc29.x86_64.rpm Development files for GMT
GMT-doc-5.4.4-3.fc29.noarch.rpm Documentation for GMT
GoldenCheetah-3.5-0.7.20190127git9138a28.fc29.x86_64.rpm Cycling Performance Software
GoldenCheetah-data-3.5-0.7.20190127git9138a28.fc29.noarch.rpm Icons and translation files for GoldenCheetah
GoldenCheetah-doc-3.5-0.7.20190127git9138a28.fc29.noarch.rpm Documentation files for GoldenCheetah
GraphicsMagick-1.3.31-2.fc29.i686.rpm An ImageMagick fork, offering faster image generation and better quality
GraphicsMagick-1.3.31-2.fc29.x86_64.rpm An ImageMagick fork, offering faster image generation and better quality
GraphicsMagick-c++-1.3.31-2.fc29.i686.rpm GraphicsMagick Magick++ library (C++ bindings)
GraphicsMagick-c++-1.3.31-2.fc29.x86_64.rpm GraphicsMagick Magick++ library (C++ bindings)
Advertisement
Advertisement