Main Site Links:

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

Information for RPM cryptominisat-5.11.22-2.fc41.src.rpm

ID	1435632
Name	cryptominisat
Version	5.11.22
Release	2.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-08-15 18:47:00 GMT
Size	993.53 KB
SIGMD5	ae400267d0679225f914bc8a2fc5ea60
License	MIT
VCS	git:https://github.com/msoos/cryptominisat.git
Buildroot	f41-build-842658-161627
Provides	cryptominisat = 5.11.22-2.fc41 cryptominisat-debuginfo = 5.11.22-2.fc41 cryptominisat-debugsource = 5.11.22-2.fc41 cryptominisat-devel = 5.11.22-2.fc41 cryptominisat-libs = 5.11.22-2.fc41 python3-pycryptosat = 5.11.22-2.fc41
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) 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 8 of 8 Name Size cadiback-69255f5.tar.gz 17.74 KB cryptominisat-5.11.22.tar.gz 931.86 KB cryptominisat-cmake.patch 2.14 KB cryptominisat-picosat.patch 2.91 KB cryptominisat-python-library.patch 2.28 KB cryptominisat-remove-old-api.patch 2.94 KB cryptominisat-toml.patch 982.00 B cryptominisat.spec 14.95 KB
Component of	No Buildroots