Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
https://bugzilla.redhat.com/show_bug.cgi?id=442714
Summary: Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies. Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: Package Review AssignedTo: nobody@fedoraproject.org ReportedBy: arbiter@binaryhelix.net QAContact: extras-qa@fedoraproject.org CC: fedora-package-review@redhat.com,notting@redhat.com
Spec URL: http://rpm.binaryhelix.org/specs/libs/sat-solver.spec SRPM URL: http://rpm.binaryhelix.org/sat-solver-0.0.27-20080416svn.fc9.src.rpm Description: sat-solver is a Satisfyability Solver library which can be used to compute inter-package dependencies.