Information for RPM cryptominisat-5.8.0-10.fc37.src.rpm
| ID | 814383 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | cryptominisat | ||||||||||||
| Version | 5.8.0 | ||||||||||||
| Release | 10.fc37 | ||||||||||||
| 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 | 2022-09-26 10:12:27 GMT | ||||||||||||
| Size | 937.79 KB | ||||||||||||
| 04f9f3f9d7da16a26940148935fb6cab | |||||||||||||
| License | MIT | ||||||||||||
| Buildroot | f37-build-640010-71364 | ||||||||||||
| 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 | ||||||||||||
