E-1.9.1-1.fc25.x86_64.rpm


Advertisement

Description

E - Equational Theorem Prover

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

Provides

  • E = 1.9.1-1.fc25
  • E(x86-64) = 1.9.1-1.fc25

    Download

    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

    • /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

    Advertisement
    Advertisement