cadical-devel-1:2.1.3-1.fc42.riscv64 | RPM Info

Information for RPM cadical-devel-1:2.1.3-1.fc42.riscv64.rpm

3834

Build

cadical-2.1.3-1.fc42

Name

cadical-devel

Version

2.1.3

Release

1.fc42

Epoch

Arch

riscv64

Draft

False

Summary

Development files for cadical

Description

Library links and header files for developing applications that use cadical.

Build Time

2025-05-19 14:44:50 GMT

Size

78.55 KB

SIGMD5

e55bf60bfda2d33dc23b60b25f0f7047

License

MIT

VCS

git:https://github.com/arminbiere/cadical.git

Provides

cadical-devel = 1:2.1.3-1.fc42

cadical-devel(riscv-64) = 1:2.1.3-1.fc42

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

cadical-libs(riscv-64) = 1:2.1.3-1.fc42

libcadical.so.0()(64bit)

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 63 >>>
/usr/include/cadical	0.00 B
/usr/include/cadical.hpp	19.00 B
/usr/include/cadical/arena.hpp	3.60 KB
/usr/include/cadical/averages.hpp	779.00 B
/usr/include/cadical/bins.hpp	369.00 B
/usr/include/cadical/block.hpp	715.00 B
/usr/include/cadical/cadical.hpp	50.75 KB
/usr/include/cadical/ccadical.h	2.25 KB
/usr/include/cadical/checker.hpp	5.71 KB
/usr/include/cadical/clause.hpp	8.30 KB
/usr/include/cadical/config.hpp	314.00 B
/usr/include/cadical/contract.hpp	4.30 KB
/usr/include/cadical/cover.hpp	1.19 KB
/usr/include/cadical/decompose.hpp	730.00 B
/usr/include/cadical/drattracer.hpp	1.24 KB
/usr/include/cadical/elim.hpp	644.00 B
/usr/include/cadical/ema.hpp	1.56 KB
/usr/include/cadical/external.hpp	14.47 KB
/usr/include/cadical/file.hpp	5.22 KB
/usr/include/cadical/flags.hpp	2.68 KB
/usr/include/cadical/format.hpp	888.00 B
/usr/include/cadical/frattracer.hpp	1.60 KB
/usr/include/cadical/heap.hpp	5.49 KB
/usr/include/cadical/idruptracer.hpp	3.46 KB
/usr/include/cadical/instantiate.hpp	1.27 KB
/usr/include/cadical/internal.hpp	54.51 KB
/usr/include/cadical/inttypes.hpp	1010.00 B
/usr/include/cadical/ipasir.h	1.33 KB
/usr/include/cadical/level.hpp	740.00 B
/usr/include/cadical/lidruptracer.hpp	3.81 KB
/usr/include/cadical/limit.hpp	2.15 KB
/usr/include/cadical/logging.hpp	2.69 KB
/usr/include/cadical/lratbuilder.hpp	6.56 KB
/usr/include/cadical/lratchecker.hpp	5.39 KB
/usr/include/cadical/lrattracer.hpp	1.34 KB
/usr/include/cadical/message.hpp	1.10 KB
/usr/include/cadical/occs.hpp	807.00 B
/usr/include/cadical/options.hpp	18.93 KB
/usr/include/cadical/parse.hpp	2.45 KB
/usr/include/cadical/phases.hpp	506.00 B
/usr/include/cadical/profile.hpp	8.67 KB
/usr/include/cadical/proof.hpp	3.88 KB
/usr/include/cadical/queue.hpp	1.61 KB
/usr/include/cadical/radix.hpp	5.33 KB
/usr/include/cadical/random.hpp	2.17 KB
/usr/include/cadical/range.hpp	3.42 KB
/usr/include/cadical/reap.hpp	468.00 B
/usr/include/cadical/reluctant.hpp	2.28 KB
/usr/include/cadical/resources.hpp	314.00 B
/usr/include/cadical/score.hpp	294.00 B

Component of

No Buildroots