E-1.0.002-4.fc11 RPM for ppc

From Fedora Development for ppc

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.

Provides

• E

Requires

• /bin/bash
• libc.so.6
• libm.so.6

Copyright

GPLv2

Signatures

PGP

internal MD5: 85afdda4565656a1de27c5c7a58436cd

Changelog

* Mon Feb 23 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.002-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-3
  - Work around local tags
* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-2
  - Repaired for python2 variations (different releases have different versions
    of python2)
* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-1
  - Added python2.5 as BuildRequires
  - Update to E version 1.0 ("Temi").  This includes...
  - Improved eproof script signal handling.
  - Fixed a number of warnings with the latest gcc version.
  - Updated proof objects to latest SZS ontology.
* Sun Aug 17 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-2
  - Change executable permissions from 0775 to 0755 
  - Use compilation switches (e.g., -O2 instead of pointless -O6, and use -g)
* Sun Aug 17 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1
  - Initial package

Files

 S5

Generated by rpm2html 1.8.1

Daniel Veillard, Thu Nov 19 05:38:13 2009