[Bug 769958] New: Review Request: eqp - Automated theorem prover for first-order equational logic

[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: eqp - Automated theorem prover for first-order equational logic

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

           Summary: Review Request: eqp - Automated theorem prover for
                    first-order equational logic
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: unspecified
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: jcp at eskimo.com
         QAContact: extras-qa at fedoraproject.org
                CC: notting at redhat.com,
                    package-review at lists.fedoraproject.org
    Classification: Fedora
      Story Points: ---
              Type: ---
        Regression: ---
        Mount Type: ---
     Documentation: ---


Spec URL: http://www.eskimo.com/~jcp/eqp.spec
SRPM URL: http://www.eskimo.com/~jcp/eqp-09e-1.fc16.src.rpm
Description: EQP is an automated theorem proving program for first-order
equational logic. Its strengths are good implementations of
associative-commutative unification and matching, a variety of strategies for
equational reasoning, and fast search. It seems to perform well on many
problems about lattice-like structures.

EQP is not a stable and polished production theorem prover like Otter or
Prover9. Since it has obtained several interesting results, it was decided to
make it available (including the source code) to everyone, with no restrictions
(and of course no warranty either). EQP's documentation is not great, but if
you already know Otter, you probably will not have great difficulty in learning
to use EQP.

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