Main Site Links:

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

Information for RPM cryptominisat-5.11.21-3.fc41.src.rpm

ID	1318281
Name	cryptominisat
Version	5.11.21
Release	3.fc41
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	2024-07-11 16:17:38 GMT
Size	988.73 KB
SIGMD5	9e969647dde1ae302391a3665e9e0d21
License	MIT AND BSD-3-Clause
VCS	https://github.com/msoos/cryptominisat
Buildroot	f41-build-813605-148684
Provides	cryptominisat = 5.11.21-3.fc41 cryptominisat-debuginfo = 5.11.21-3.fc41 cryptominisat-debugsource = 5.11.21-3.fc41 cryptominisat-devel = 5.11.21-3.fc41 cryptominisat-libs = 5.11.21-3.fc41 python3-pycryptosat = 5.11.21-3.fc41
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	(python3dist(tomli) if python3-devel < 3.11) boost-devel cmake cmake(breakid) gcc-c++ gperftools-devel help2man make picosat-devel pkgconfig(zlib) 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 6 of 6 Name Size cryptominisat-5.11.21.tar.gz 952.60 KB cryptominisat-cmake.patch 2.10 KB cryptominisat-picosat.patch 2.69 KB cryptominisat-python-library.patch 2.24 KB cryptominisat-toml.patch 909.00 B cryptominisat.spec 12.22 KB
Component of	No Buildroots