Information for RPM cryptominisat-5.7.1-3.fc33.src.rpm
| ID | 631500 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | cryptominisat | |||||||||||
| Version | 5.7.1 | |||||||||||
| Release | 3.fc33 | |||||||||||
| Epoch | ||||||||||||
| Arch | src | |||||||||||
| Summary | SAT solver | |||||||||||
| 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 | |||||||||||
| Build Time | 2020-06-08 06:49:50 GMT | |||||||||||
| Size | 855.08 KB | |||||||||||
| f4a388d0c884bbd8de96623c4d2fa7f4 | ||||||||||||
| License | MIT | |||||||||||
| Buildroot | f33-build-264464-51339 | |||||||||||
| Provides |
|
|||||||||||
| Obsoletes | No Obsoletes | |||||||||||
| Conflicts | No Conflicts | |||||||||||
| Requires |
|
|||||||||||
| Recommends | No Recommends | |||||||||||
| Suggests | No Suggests | |||||||||||
| Supplements | No Supplements | |||||||||||
| Enhances | No Enhances | |||||||||||
| Files |
|
|||||||||||
| Component of | No Buildroots | |||||||||||
