Information for RPM cryptominisat-5.7.0-1.fc33.src.rpm
ID | 600445 | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat | |||||||||||
Version | 5.7.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-05-07 06:14:40 GMT | |||||||||||
Size | 870.65 KB | |||||||||||
7eb9e30c49ec2cadf9c7e95169a24eef | ||||||||||||
License | MIT | |||||||||||
Buildroot | f33-build-193327-46963 | |||||||||||
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 |