Main Site Links:

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

Information for RPM cryptominisat-5.8.0-15.rvre0.fc40.src.rpm

ID	1171436
Name	cryptominisat
Version	5.8.0
Release	15.rvre0.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-01-10 17:14:02 GMT
Size	940.81 KB
SIGMD5	b01f2af001a8119721d0fcfd5333d11e
License	MIT AND BSD-3-Clause
Buildroot	f40-build-773510-127202
Provides	cryptominisat = 5.8.0-15.rvre0.fc40 cryptominisat-debuginfo = 5.8.0-15.rvre0.fc40 cryptominisat-debugsource = 5.8.0-15.rvre0.fc40 cryptominisat-devel = 5.8.0-15.rvre0.fc40 cryptominisat-libs = 5.8.0-15.rvre0.fc40 python3-cryptominisat = 5.8.0-15.rvre0.fc40
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 11.23 KB
Component of	No Buildroots