[Bug 812681] New: Review Request: GlueMiniSat - Boolean SAT solver that implements literal blocks distance (LBD)
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: GlueMiniSat - Boolean SAT solver that implements literal blocks distance (LBD)
https://bugzilla.redhat.com/show_bug.cgi?id=812681
Summary: Review Request: GlueMiniSat - Boolean SAT solver that
implements literal blocks distance (LBD)
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/glueminisat.spec
SRPM URL: http://www.eskimo.com/~jcp/glueminisat-2.2.5-1.fc16.src.rpm
Description: GlueMiniSat is a boolean, propositional satisfiability (SAT)
problem solver. It is a derivative work of the open source MiniSat 2.2 solver,
and implements a form of the literal blocks distance (LBD) evaluation criteria
to predict the quality of clauses learned when conflicts are encountered in the
search process.
The underlying concepts of literal blocks distance were first introduced in the
paper "Predicting learnt clauses quality in modern SAT solvers" by Gilles
Audemard and Laurent Simon, Proceedings of IJCAI-2009, pages 399-404, 2009. The
authors' implementation of LBD, the Glucose 1.0 SAT solver, performed admirably
by placing 2-nd at the international 2009 SAT competition in the Applications
(UNSAT) category.
GlueMiniSat uses a slightly restricted concept of LBD, called strict LBD, and a
dynamic restart strategy based on local averages of the decision levels and the
LBDs of learned clauses. Experimental results show that GlueMiniSat also
performs very well on SAT instances that are unsatisfiable.
GlueMiniSat supports the same command line options as MiniSat 2.2 (see the
documentation from the minisat2 package). It can also run as a "clone" of the
MiniSat 2.2 or Glucose 1.0 SAT solvers by specifying the command line options
-minisat or -glucose, respectively.
--
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.
10 years, 7 months
[Bug 806040] New: Review Request: pyproj - a python module that performs cartographic transformations and geodetic computations [I am seeking a sponsor.]
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: pyproj - a python module that performs cartographic transformations and geodetic computations [I am seeking a sponsor.]
https://bugzilla.redhat.com/show_bug.cgi?id=806040
Summary: Review Request: pyproj - a python module that performs
cartographic transformations and geodetic computations
[I am seeking a sponsor.]
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: kloe0040(a)planet.nl
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://jdekloe.nl/Fedora/pyproj.spec
SRPM URL: http://jdekloe.nl/Fedora/pyproj-1.9.0-1.fc17.src.rpm
Description:
A python module that performs cartographic transformations and geodetic
computations.
This is a dependency for the pygrib python module, see
https://bugzilla.redhat.com/show_bug.cgi?id=806037
The Proj class can convert from geographic (longitude,latitude) to native map
projection (x,y) coordinates and vice versa, or from one map projection
coordinate system directly to another.
The Geod class can perform forward and inverse geodetic, or Great Circle,
computations. The forward computation involves determining latitude, longitude
and back azimuth of a terminus point given the latitude and longitude of an
initial point, plus azimuth and distance. The inverse computation involves
determining the forward and back azimuths and distance given the latitudes
and longitudes of an initial and terminus point.
Input coordinates can be given as python arrays, lists/tuples, scalars or
numpy/Numeric/numarray arrays. Optimized for objects that support the Python
buffer protocol (regular python and numpy array objects).
--
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.
10 years, 7 months
[Bug 806037] New: Review Request: pygrib - Python module for reading and writing GRIB (editions 1 and 2) files [this is my first package, I am seeking a sponsor.]
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: pygrib - Python module for reading and writing GRIB (editions 1 and 2) files [this is my first package, I am seeking a sponsor.]
https://bugzilla.redhat.com/show_bug.cgi?id=806037
Summary: Review Request: pygrib - Python module for reading and
writing GRIB (editions 1 and 2) files [this is my
first package, I am seeking a sponsor.]
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: kloe0040(a)planet.nl
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://jdekloe.nl/Fedora/pygrib.spec
SRPM URL: http://jdekloe.nl/Fedora/pygrib-1.9.2-1.fc17.src.rpm
Description:
GRIB is the the World Meterological Organization (WMO) standard for
distributing gridded data. This module contains python interfaces for reading
and writing GRIB data using the ECMWF GRIB API C library, and the NCEP GRIB2
C library, as well as command-line utilites for listing and re-packing GRIB
files.
This package requires another new package: pyproj which is not yet available
for Fedora. I'll create a separate review request for that one.
This is my first Fedora package and I am looking for a sponsor.
--
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.
10 years, 7 months