https://bugzilla.redhat.com/show_bug.cgi?id=1256100 Bug ID: 1256100 Summary: Review Request: cryptominisat4 - SAT solver Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Assignee: nobody@xxxxxxxxxxxxxxxxx Reporter: loganjerry@xxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx Spec URL: https://jjames.fedorapeople.org/cryptominisat4/cryptominisat4.spec SRPM URL: https://jjames.fedorapeople.org/cryptominisat4/cryptominisat4-4.2.0-1.fc24.src.rpm Fedora Account System Username: jjames Description: CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces Note that this is not just a later version of the existing cryptominisat (2.x) package. In fact, the latest version of the stp package wants to link against both cryptominisat 2.x and cryptominisat 4.x, so this really is a distinct package. -- 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