Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM cryptominisat-5.16.0-1.fc45.src.rpm

ID	21173
Build	cryptominisat-5.16.0-1.fc45
Name	cryptominisat
Version	5.16.0
Release	1.fc45
Epoch
Arch	src
Draft	False
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	2026-10-13 07:46:21 GMT
Size	1.11 MB
SIGMD5	3572be56765466e343e2994ae28599f0
License	MIT
VCS	git:https://github.com/msoos/cryptominisat.git
Buildroot	f45-build-7148-358
Provides	cryptominisat = 5.16.0-1.fc45 cryptominisat-debuginfo = 5.16.0-1.fc45 cryptominisat-debugsource = 5.16.0-1.fc45 cryptominisat-devel = 5.16.0-1.fc45 cryptominisat-libs = 5.16.0-1.fc45 python3-pycryptosat = 5.16.0-1.fc45
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	(python3dist(tomli) if python3-devel < 3.11) boost-devel cmake cmake(breakid) cmake(cadical) gcc-c++ help2man ninja-build pkgconfig(zlib-ng) pyproject-rpm-macros python3-devel python3-devel python3dist(cmake) >= 3.18 python3dist(ninja) python3dist(packaging) python3dist(pip) >= 19 python3dist(scikit-build-core) >= 0.9 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 5 of 5 Name Size cadiback-47a6d82.tar.gz 24.01 KB cryptominisat-5.16.0.tar.gz 1.05 MB cryptominisat-cmake.patch 3.32 KB cryptominisat-zlib-ng.patch 4.10 KB cryptominisat.spec 18.07 KB
Component of	No Buildroots