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@xxxxxxxxxxxxxxxxx Reporter: orion@xxxxxxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx 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 _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review