Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 07 Dec 2024 17:45:24 UTC |
login
Information for RPM
cadical-1:1.2.1-2.fc33.src.rpm
ID
571836
Name
cadical
Version
1.2.1
Release
2.fc33
Epoch
1
Arch
src
Summary
Simplified SAT solver
Description
CaDiCaL 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 Time
2020-03-28 14:59:06 GMT
Size
537.12 KB
SIGMD5
ef732af5da81e70c515c3b7acbacee25
License
MIT
Buildroot
f33-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
Size
cadical-shared.patch
1.88 KB
cadical.spec
4.43 KB
rel-1.2.1.tar.gz
543.30 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.