Fedora 8 Update: E-0.999.006-2.fc8
updates at fedoraproject.org
updates at fedoraproject.org
Fri Sep 5 12:20:26 UTC 2008
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-7263
2008-09-05 10:29:02
--------------------------------------------------------------------------------
Name : E
Product : Fedora 8
Version : 0.999.006
Release : 2.fc8
URL : http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Summary : Equational Theorem Prover
Description :
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.
--------------------------------------------------------------------------------
Update Information:
Description: 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.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #459409 - Review Request: E - Equational Theorem Prover
https://bugzilla.redhat.com/show_bug.cgi?id=459409
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update E' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
http://fedoraproject.org/keys
--------------------------------------------------------------------------------
More information about the package-announce
mailing list