Tue, 31 Jan 2023 16:40:05 UTC

Information for build E-1.0.002-3.fc11

ID76137
Package NameE
Version1.0.002
Release3.fc11
Epoch
SummaryEquational Theorem Prover
DescriptionE 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.
Built bydwheeler
State complete
Volume fedora_koji_archive00
StartedMon, 22 Dec 2008 23:53:22 UTC
CompletedTue, 23 Dec 2008 00:00:01 UTC
Taskbuild (dist-f11, /cvs/pkgs:rpms/E/devel:E-1_0_002-3_fc11)
Tags
f11-alpha
f11-alpha-2
RPMs
src
E-1.0.002-3.fc11.src.rpm (info) (download)
i386
E-1.0.002-3.fc11.i386.rpm (info) (download)
E-debuginfo-1.0.002-3.fc11.i386.rpm (info) (download)
ppc
E-1.0.002-3.fc11.ppc.rpm (info) (download)
E-debuginfo-1.0.002-3.fc11.ppc.rpm (info) (download)
ppc64
E-1.0.002-3.fc11.ppc64.rpm (info) (download)
E-debuginfo-1.0.002-3.fc11.ppc64.rpm (info) (download)
x86_64
E-1.0.002-3.fc11.x86_64.rpm (info) (download)
E-debuginfo-1.0.002-3.fc11.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
ppc
build.log
root.log
state.log
ppc64
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * 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. * Sat Aug 16 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) * Sat Aug 16 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1 - Initial package