[Bug 1265012] New: Review Request: python-pycosat - Python bindings to picosat (a SAT solver)

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=1265012

            Bug ID: 1265012
           Summary: Review Request: python-pycosat - Python bindings to
                    picosat (a SAT solver)
           Product: Fedora
           Version: rawhide
         Component: Package Review
          Severity: medium
          Priority: medium
          Assignee: nobody at fedoraproject.org
          Reporter: orion at cora.nwra.com
        QA Contact: extras-qa at fedoraproject.org
                CC: package-review at lists.fedoraproject.org



Spec URL: http://www.cora.nwra.com/~orion/fedora/python-pycosat.spec
SRPM URL:
http://www.cora.nwra.com/~orion/fedora/python-pycosat-0.6.1-1.fc24.src.rpm
Description:
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level, i.e.
when importing pycosat, the picosat solver becomes part of the Python process
itself.

Fedora Account System Username: orion

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component