Main Site Links:

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

Information for RPM cryptominisat-5.8.0-12.fc38.src.rpm

ID	970914
Name	cryptominisat
Version	5.8.0
Release	12.fc38
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	2023-03-16 15:28:51 GMT
Size	940.21 KB
SIGMD5	92a0dadc6d6e758c7ad4b0dfd656146e
License	MIT AND BSD-3-Clause
Buildroot	f38-build-696031-85975
Provides	cryptominisat = 5.8.0-12.fc38 cryptominisat-debuginfo = 5.8.0-12.fc38 cryptominisat-debugsource = 5.8.0-12.fc38 cryptominisat-devel = 5.8.0-12.fc38 cryptominisat-libs = 5.8.0-12.fc38 python3-cryptominisat = 5.8.0-12.fc38
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	boost-devel chrpath cmake gcc-c++ gperftools-devel help2man make pkgconfig(m4ri) pkgconfig(sqlite3) pkgconfig(zlib) python3-devel python3dist(setuptools) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 5 of 5 Name Size cryptominisat-5.8.0.tar.gz 921.67 KB cryptominisat-cmake.patch 1.85 KB cryptominisat-include.patch 249.00 B cryptominisat-setuptools.patch 919.00 B cryptominisat.spec 10.78 KB
Component of	No Buildroots