[Bug 459409] New: Review Request: E - Equational Theorem Prover

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: Review Request: E - Equational Theorem Prover

https://bugzilla.redhat.com/show_bug.cgi?id=459409

           Summary: Review Request: E - Equational Theorem Prover
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: medium
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: dwheeler at dwheeler.com
         QAContact: extras-qa at fedoraproject.org
                CC: notting at redhat.com, fedora-package-review at redhat.com
   Estimated Hours: 0.0
    Classification: Fedora


Spec URL: http://www.dwheeler.com/E.spec
SRPM URL: http://www.dwheeler.com/E-0.999.006-1.fc9.src.rpm
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.



NOTE: Normally I would use mock and koji to test the package,
to make sure that the BuildRequires: is correct and that it
compiled in other circumstances.  Unfortunately, due to the Fedora
infrastructure problems, I cannot do that right now.
It compiles for me, and I intend to test this with mock and koji
as soon as I can do so.  In the meantime, I'd love to hear other
comments about this package. That way, when the Fedora infrastructure
comes back up, this will be ready to go.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.