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@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review