fedora
Click here to visit the old openkoji buildsystem (Archived)

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

ID34894
Buildcryptominisat-5.11.21-2.fc41
Namecryptominisat
Version5.11.21
Release2.fc41
Epoch
Archsrc
DraftFalse
SummarySAT solver
DescriptionCryptoMiniSat 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 Time2024-05-01 12:52:06 GMT
Size987.92 KB
b4dfa49370865558c5794603771fc534
LicenseMIT AND BSD-3-Clause
https://github.com/msoos/cryptominisat
Buildrootf41-build-31478-1283
Provides
cryptominisat = 5.11.21-2.fc41
cryptominisat-debuginfo = 5.11.21-2.fc41
cryptominisat-debugsource = 5.11.21-2.fc41
cryptominisat-devel = 5.11.21-2.fc41
cryptominisat-libs = 5.11.21-2.fc41
python3-pycryptosat = 5.11.21-2.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 ascending sort Size
cryptominisat-5.11.21.tar.gz952.60 KB
cryptominisat-cmake.patch2.10 KB
cryptominisat-picosat.patch2.69 KB
cryptominisat-python-library.patch2.24 KB
cryptominisat-toml.patch909.00 B
cryptominisat.spec12.13 KB
Component of No Buildroots