Information for RPM cryptominisat-5.13.0-1.fc42.src.rpm

ID6632
Buildcryptominisat-5.13.0-1.fc42
Namecryptominisat
Version5.13.0
Release1.fc42
Epoch
Archsrc
DraftFalse
SummarySAT solver
DescriptionCryptoMiniSat 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 Time2025-05-21 18:41:44 GMT
Size1015.27 KB
54a9685654814acf9f35d03dff721d86
LicenseMIT
git:https://github.com/msoos/cryptominisat.git
Provides
cryptominisat = 5.13.0-1.fc42
cryptominisat-debuginfo = 5.13.0-1.fc42
cryptominisat-debugsource = 5.13.0-1.fc42
cryptominisat-devel = 5.13.0-1.fc42
cryptominisat-libs = 5.13.0-1.fc42
python3-pycryptosat = 5.13.0-1.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
(python3dist(tomli) if python3-devel < 3.11)
boost-devel
cadical-devel
cmake
cmake(breakid)
gcc-c++
gperftools-devel
help2man
make
picosat-devel
pkgconfig(zlib-ng)
pyproject-rpm-macros
python3-devel
python3-devel
python3dist(packaging)
python3dist(pip) >= 19
python3dist(setuptools) >= 42
python3dist(wheel)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(DynamicBuildRequires) <= 4.15.0-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(RichDependencies) <= 4.12.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
cadiback-7a4ac38.tar.gz19.46 KB
cryptominisat-5.13.0.tar.gz947.70 KB
cryptominisat-breakid.patch691.00 B
cryptominisat-cmake.patch2.47 KB
cryptominisat-fpic.patch851.00 B
cryptominisat-picosat.patch3.53 KB
cryptominisat-python-library.patch2.56 KB
cryptominisat-toml.patch974.00 B
cryptominisat-zlib-ng.patch4.21 KB
cryptominisat.spec15.70 KB
Component of No Buildroots