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 |