Tue, 10 Dec 2024 16:15:08 UTC | login

Information for RPM cadical-1:1.2.1-2.fc33.src.rpm

ID571836
Namecadical
Version1.2.1
Release2.fc33
Epoch1
Archsrc
SummarySimplified SAT solver
DescriptionCaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
Build Time2020-03-28 14:59:06 GMT
Size537.12 KB
ef732af5da81e70c515c3b7acbacee25
LicenseMIT
Buildrootf33-build-137320-42001
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
drat-trim-tools
gcc-c++
glibc-langpack-en
help2man
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
zlib-devel
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
cadical-shared.patch1.88 KB
cadical.spec4.43 KB
rel-1.2.1.tar.gz543.30 KB
Component of No Buildroots