February 2013 - package-review - Fedora Mailing-Lists

[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

2
28
0 / 0

[Bug 878188] New: Review Request: qtbase - Qt5 - QtBase components

by Red Hat Bugzilla

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=878188 Bug ID: 878188 Summary: Review Request: qtbase - Qt5 - QtBase components Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: rdieter(a)math.unl.edu Type: --- Spec URL: http://rdieter.fedorapeople.org/rpms/qt5/qtbase.spec SRPM URL: Description: http://rdieter.fedorapeople.org/rpms/qt5/qtbase-5.0.0-0.1.beta2.fc18.src.rpm Fedora Account System Username: rdieter scratch build: http://koji.fedoraproject.org/koji/taskinfo?taskID=4705598 -- You are receiving this mail because: You are on the CC list for the bug.

7 years, 1 month

2
84
0 / 0

[Bug 865371] New: Review Request : SciD is a collection of numerical routines using Blas/Lapack

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=865371 Bug ID: 865371 QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Assignee: nobody(a)fedoraproject.org Summary: Review Request : SciD is a collection of numerical routines using Blas/Lapack Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: bioinfornatics(a)gmail.com Type: Bug Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: Package Review Product: Fedora SRPMS: http://bioinfornatics.fedorapeople.org/scid-1-0.20120429git51236f3.fc17.1... SPEC: http://bioinfornatics.fedorapeople.org/scid.spec Build: http://koji.fedoraproject.org/koji/taskinfo?taskID=4581148 -- You are receiving this mail because: You are on the CC list for the bug.

7 years, 1 month

2
24
0 / 0

[Bug 757657] New: Review Request: perl-Wx-Scintilla - Scintilla source code editing component for wxWidgets

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: perl-Wx-Scintilla - Scintilla source code editing component for wxWidgets https://bugzilla.redhat.com/show_bug.cgi?id=757657 Summary: Review Request: perl-Wx-Scintilla - Scintilla source code editing component for wxWidgets Product: Fedora Version: rawhide Platform: Unspecified OS/Version: Unspecified Status: NEW Severity: unspecified Priority: unspecified Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: mmaslano(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Classification: Fedora Story Points: --- Type: --- SPEC: http://mmaslano.fedorapeople.org/review/perl-Wx-Scintilla.spec SRPM: http://mmaslano.fedorapeople.org/review/perl-Wx-Scintilla-0.34-1.fc16.src... -- 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

2
12
0 / 0

[Bug 807432] New: Review Request: python-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing

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: python-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing https://bugzilla.redhat.com/show_bug.cgi?id=807432 Summary: Review Request: python-tate-bilinear-pairing - A Python 2/3 library for calculating Tate bilinear pairing Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: unspecified Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: philip.worrall(a)googlemail.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: --- Hello, I have packaged up the python take bilinear pairing library. Spec URL: http://www.freefilehosting.net/python-tate-bilinear-pairing SRPM URL: http://www.freefilehosting.net/python-tate-bilinear-pairing-023-1fc15src Description: This package is a Python 2 library for calculating Tate bilinear pairing, especially on super-singular elliptic curve $E:y^2=x^3-x+1$ in affine coordinates defined over a Galois Field $GF(3^m)$. This is a package in response to https://bugzilla.redhat.com/show_bug.cgi?id=796640. Regards, Phil -- 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

2
19
0 / 0

[Bug 886300] New: Review Request: sino - High performance text search engine

by Red Hat Bugzilla

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=886300 Bug ID: 886300 Summary: Review Request: sino - High performance text search engine Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: fdc(a)fcami.net Spec URL: http://fcami.fedorapeople.org/srpms/sino.spec SRPM URL: http://fcami.fedorapeople.org/srpms/sino-3.1.21-1.fc16.src.rpm Description: Sino (short for "size is no object") is a high performance free text search engine. It was originally written in 1995 and has been mainly used to provide production level search facilities for most of the Legal Information Institutes that form part of the Free Access to Law Movement (FALM). Fedora Account System Username: fcami -- 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=xOs6kJNXku&a=cc_unsubscribe

7 years, 2 months

2
11
0 / 0

[Bug 720818] New: Review Request: python-tw2 - Web widget creation toolkit based on TurboGears widgets

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: python-tw2 - Web widget creation toolkit based on TurboGears widgets https://bugzilla.redhat.com/show_bug.cgi?id=720818 Summary: Review Request: python-tw2 - Web widget creation toolkit based on TurboGears widgets Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: lmacken(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: notting(a)redhat.com, package-review(a)lists.fedoraproject.org Classification: Fedora Story Points: --- Spec URL: http://lmacken.fedorapeople.org/rpms/python-tw2.spec SRPM URL: http://lmacken.fedorapeople.org/rpms/python-tw2-2.0-0.1.b6.fc15.src.rpm Description: ToscaWidgets is a web widget toolkit for Python to aid in the creation, packaging and distribution of common view elements normally used in the web. The tw2.core package is lightweight and intended for run-time use only; development tools are in tw2.devtools. -- 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, 3 months

2
31
0 / 0

[Bug 894609] New: Review Request: coin-or-OS - Optimization Services

by Red Hat Bugzilla

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=894609 Bug ID: 894609 Summary: Review Request: coin-or-OS - Optimization Services Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: paulo.cesar.pereira.de.andrade(a)gmail.com Spec URL: http://pcpa.fedorapeople.org/coin-or/coin-or-OS.spec SRPM URL: http://pcpa.fedorapeople.org/coin-or/coin-or-OS-2.6.0-3.fc19.src.rpm Description: The objective of Optimization Services (OS) is to provide a set of standards for representing optimization instances, results, solver options, and communication between clients and solvers in a distributed environment using Web Services. This COIN-OR project provides source code for libraries and executable programs that implement OS standards. See the Home Site http://www.optimizationservices.org/ for more information. Fedora Account System Username: pcpa -- 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=v0ISOi5lTR&a=cc_unsubscribe

7 years, 3 months

2
43
0 / 0

[Bug 894606] New: Review Request: coin-or-Couenne -Couenne, an exact solver for nonconvex MINLPs

by Red Hat Bugzilla

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=894606 Bug ID: 894606 Summary: Review Request: coin-or-Couenne -Couenne, an exact solver for nonconvex MINLPs Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: paulo.cesar.pereira.de.andrade(a)gmail.com Spec URL: http://pcpa.fedorapeople.org/coin-or/coin-or-Couenne.spec SRPM URL: http://pcpa.fedorapeople.org/coin-or/coin-or-Couenne-0.4.3-1.fc19.src.rpm Description: Couenne (Convex Over and Under ENvelopes for Nonlinear Estimation) is a branch&bound algorithm to solve Mixed-Integer Nonlinear Programming (MINLP) problems of the form: min f0(x,y) fi(x,y) <= 0 i=1,2..., m x in Rn, y in Zp where all fi(x,y) are, in general, nonlinear functions. Couenne aims at finding global optima of nonconvex MINLPs. It implements linearization, bound reduction, and branching methods within a branch-and-bound framework. Its main components are: * an expression library; * separation of linearization cuts; * branching rules; * bound tightening methods. Fedora Account System Username: pcpa -- 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=7Zt1atXBrD&a=cc_unsubscribe

7 years, 3 months

2
41
0 / 0

[Bug 894605] New: Review Request: coin-or-Bonmin - Basic Open-source Nonlinear Mixed INteger programming

by Red Hat Bugzilla

Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=894605 Bug ID: 894605 Summary: Review Request: coin-or-Bonmin - Basic Open-source Nonlinear Mixed INteger programming Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: paulo.cesar.pereira.de.andrade(a)gmail.com Spec URL: http://pcpa.fedorapeople.org/coin-or/coin-or-Bonmin.spec SRPM URL: http://pcpa.fedorapeople.org/coin-or/coin-or-Bonmin-1.6.0-3.fc19.src.rpm Description: Bonmin (Basic Open-source Nonlinear Mixed INteger programming) is an experimental open-source C++ code for solving general MINLP (Mixed Integer NonLinear Programming) problems of the form: min f(x) s.t. g_L <= g(x) <= g_U x_L <= x <= x_U x_i in Z for all i in I and, x_i in R for all i not in I. where f(x): R^n --> R, g(x): R^n --> R^m are twice continuously differentiable functions and I is a subset of {1,..,n}. Bonmin features several algorithms * B-BB is a NLP-based branch-and-bound algorithm, * B-OA is an outer-approximation decomposition algorithm, * B-QG is an implementation of Quesada and Grossmann's branch-and-cut algorithm, * B-Hyb is a hybrid outer-approximation based branch-and-cut algorithm. The algorithms in Bonmin are exact when the functions f and g are convex; in the case where f or g or both are non-convex they are heuristics. Fedora Account System Username: pcpa -- 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=jVySux1sQG&a=cc_unsubscribe

7 years, 3 months

2
28
0 / 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

package-review February 2013