[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Fedora 9 Update: E-0.999.006-2.fc9



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-7659
2008-09-05 10:59:06
--------------------------------------------------------------------------------

Name        : E
Product     : Fedora 9
Version     : 0.999.006
Release     : 2.fc9
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.
--------------------------------------------------------------------------------
ChangeLog:

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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]