[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
[Bug 787414] New: Review Request: gfsview - A visualizer for Gerris simulations
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: gfsview - A visualizer for Gerris simulations
https://bugzilla.redhat.com/show_bug.cgi?id=787414
Summary: Review Request: gfsview - A visualizer for Gerris
simulations
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: jonathan.underwood(a)gmail.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://fedorapeople.org/~jgu/gerris.spec
SRPM URL: http://fedorapeople.org/~jgu/gfsview-0-0.4.20111003.el6.src.rpm
Description:
GfsView displays the results of 2D and 3D Gerris simulations.
A brief summary of its main features:
* Scalar and vector cross-sections.
* Isosurfaces.
* Streamlines.
* User-defined functions.
* Fast adaptive display (using the multiresolution data
representation of Gerris).
* Scriptable.
* Offline image generation.
* Quality PostScript, PDF and bitmap outputs.
See http://gfs.sf.net for more information and documentation.
gfsview depends upon gerris, which is submitted for review as BZ 766883
--
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, 2 months
[Bug 747080] New: Review Request: smb4k - The SMB/CIFS Share Browser for KDE
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: smb4k - The SMB/CIFS Share Browser for KDE
https://bugzilla.redhat.com/show_bug.cgi?id=747080
Summary: Review Request: smb4k - The SMB/CIFS Share Browser for
KDE
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: juankprada(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Spec URL: http://public.juankprada.com/smb4k.spec
SRPM URL: http://public.juankprada.com/smb4k-0.10.10-1.fc16.src.rpm
Description: Smb4K is an SMB/CIFS share browser for KDE. It uses the Samba
software suite to access the SMB/CIFS shares of the local network neighborhood.
Its purpose is to provide a program that's easy to use and has as many features
as possible.
Also, This is my first package and I would like someone to sponsor me to
maintain this package.
--
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, 2 months