-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2008-11751 2008-12-24 11:09:50 --------------------------------------------------------------------------------
Name : E Product : Fedora 9 Version : 1.0.002 Release : 3.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: Update to version 1.0 of E -------------------------------------------------------------------------------- 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. -------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- _______________________________________________ Fedora-package-announce mailing list Fedora-package-announce@redhat.com http://www.redhat.com/mailman/listinfo/fedora-package-announce