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