Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: cryptominisat - SAT solver https://bugzilla.redhat.com/show_bug.cgi?id=721174 Summary: Review Request: cryptominisat - SAT solver Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: loganjerry@xxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Classification: Fedora Story Points: --- Spec URL: http://jjames.fedorapeople.org/cryptominisat/cryptominisat.spec SRPM URL: http://jjames.fedorapeople.org/cryptominisat/cryptominisat-2.9.1-1.fc15.src.rpm Description: CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an efficient sequential, parallel and distributed solver. There are solvers that are good at one or the other, e.g. ManySat (parallel) or PSolver (distributed), but we wish to excel at all. This package is a prerequisite to upgrading stp to the latest version. -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review