Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

E-0.999.006-2.fc10 RPM for ppc

From Fedora Development for ppc

Name: E Distribution: Unknown
Version: 0.999.006 Vendor: Fedora Project
Release: 2.fc10 Build date: Thu Aug 28 17:14:48 2008
Group: Applications/Engineering Build host: ppc2.fedora.redhat.com
Size: 2378553 Source RPM: E-0.999.006-2.fc10.src.rpm
Packager: Fedora Project
Url: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Summary: Equational Theorem Prover
 
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

Requires

Copyright

GPLv2

Signatures

internal MD5: fd18027b1884a579da7d69320bdbc32e

GPG

Changelog

* 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

/usr/bin/eground
/usr/bin/epclextract
/usr/bin/eproof
/usr/bin/eprover
/usr/share/doc/E-0.999.006
/usr/share/doc/E-0.999.006/COPYING
/usr/share/doc/E-0.999.006/E-0.999.html
/usr/share/doc/E-0.999.006/NEWS
/usr/share/doc/E-0.999.006/README
/usr/share/doc/E-0.999.006/TPTP_SUBMISSION
/usr/share/doc/E-0.999.006/TSTP_Syntax.txt
/usr/share/doc/E-0.999.006/clib.ps
/usr/share/doc/E-0.999.006/eprover.pdf
/usr/share/doc/E-0.999.006/grammar.txt
/usr/share/doc/E-0.999.006/sample_proofs.html
/usr/share/doc/E-0.999.006/sample_proofs_tstp.html

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 22 04:16:20 2008