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: [email protected] ReportedBy: [email protected] QAContact: [email protected] CC: [email protected], [email protected] 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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
