[Bug 769958] New: Review Request: eqp - Automated theorem prover for first-order equational logic
by Red Hat Bugzilla
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(a)fedoraproject.org
ReportedBy: jcp(a)eskimo.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)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.
7 years, 1 month
[Bug 923669] New: Review Request: tex-prerex-bin - Interactive editor for prerequisite charts
by Red Hat Bugzilla
Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=923669
Bug ID: 923669
Summary: Review Request: tex-prerex-bin - Interactive editor
for prerequisite charts
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: jnovy(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Spec URL: http://jnovy.fedorapeople.org/tex-prerex-bin.spec
SRPM URL: http://jnovy.fedorapeople.org/tex-prerex-bin-6.5.1-2.fc18.src.rpm
Description: Prerex is an interactive program for editing prerequisite-chart
descriptions in the prerex format. The user does not normally have to be
familiar with details of the format. The editor supports add, remove,
cut-and-paste, and edit operations on diagram elements, and shifts of a
list of specified elements, all the elements in a rectangular region, or
the entire diagram. The edited diagram may be saved, re-processed, and
viewed in a PDF viewer, without exiting the editor.
For a graphical front-end and viewer for use with the prerex editor,
install the vprerex package.
Fedora Account System Username: jnovy
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Q2IaA0fLdu&a=cc_unsubscribe
7 years, 2 months