Main Site Links:

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

Information for RPM cryptominisat-5.11.21-1.fc40.src.rpm

ID	1210182
Name	cryptominisat
Version	5.11.21
Release	1.fc40
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-02-25 17:23:46 GMT
Size	987.03 KB
SIGMD5	df16aa2a0a43ad3b9e302c645e214307
License	MIT AND BSD-3-Clause
Buildroot	f40-build-781344-131566
Provides	cryptominisat = 5.11.21-1.fc40 cryptominisat-debuginfo = 5.11.21-1.fc40 cryptominisat-debugsource = 5.11.21-1.fc40 cryptominisat-devel = 5.11.21-1.fc40 cryptominisat-libs = 5.11.21-1.fc40 python3-pycryptosat = 5.11.21-1.fc40
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(toml) 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 5 of 5 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.spec 11.93 KB
Component of	No Buildroots