Information for RPM cryptominisat-5.8.0-1.fc33.src.rpm
| ID | 745152 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | cryptominisat | |||||||||||||
| Version | 5.8.0 | |||||||||||||
| Release | 1.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-12-24 12:12:08 GMT | |||||||||||||
| Size | 927.15 KB | |||||||||||||
| 95099b6c759b094fed0254c9f7102312 | ||||||||||||||
| License | MIT | |||||||||||||
| Buildroot | f33-build-374774-61587 | |||||||||||||
| 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 | |||||||||||||
