cadical-devel-1:2.2.1-6.fc45.riscv64 | RPM Info

Information for RPM cadical-devel-1:2.2.1-6.fc45.riscv64.rpm

19815

Build

cadical-2.2.1-6.fc45

Name

cadical-devel

Version

2.2.1

Release

6.fc45

Epoch

Arch

riscv64

Draft

False

Summary

Development files for cadical

Description

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

Build Time

2026-10-13 05:00:12 GMT

Size

97.61 KB

SIGMD5

30f202ded11abb3af9a5ec02bd7d932e

License

MIT

VCS

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

Buildroot

f45-build-6645-349

Provides

cadical-devel = 1:2.2.1-6.fc45

cadical-devel(riscv-64) = 1:2.2.1-6.fc45

cmake(cadical)

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

cadical-libs(riscv-64) = 1:2.2.1-6.fc45

cmake-filesystem(riscv-64)

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 72 >>>
/usr/include/cadical	0.00 B
/usr/include/cadical/arena.hpp	3.60 KB
/usr/include/cadical/averages.hpp	799.00 B
/usr/include/cadical/bins.hpp	368.00 B
/usr/include/cadical/block.hpp	715.00 B
/usr/include/cadical/cadical.hpp	56.82 KB
/usr/include/cadical/ccadical.h	2.50 KB
/usr/include/cadical/checker.hpp	5.80 KB
/usr/include/cadical/clause.hpp	8.52 KB
/usr/include/cadical/config.hpp	314.00 B
/usr/include/cadical/congruence.hpp	30.01 KB
/usr/include/cadical/contract.hpp	4.50 KB
/usr/include/cadical/cover.hpp	1.19 KB
/usr/include/cadical/decompose.hpp	730.00 B
/usr/include/cadical/delay.hpp	570.00 B
/usr/include/cadical/drattracer.hpp	1.29 KB
/usr/include/cadical/elim.hpp	1002.00 B
/usr/include/cadical/ema.hpp	1.56 KB
/usr/include/cadical/external.hpp	16.26 KB
/usr/include/cadical/factor.hpp	985.00 B
/usr/include/cadical/file.hpp	5.22 KB
/usr/include/cadical/flags.hpp	2.94 KB
/usr/include/cadical/format.hpp	888.00 B
/usr/include/cadical/frattracer.hpp	1.73 KB
/usr/include/cadical/heap.hpp	5.49 KB
/usr/include/cadical/idruptracer.hpp	3.61 KB
/usr/include/cadical/instantiate.hpp	1.27 KB
/usr/include/cadical/internal.hpp	66.48 KB
/usr/include/cadical/inttypes.hpp	1.09 KB
/usr/include/cadical/ipasir.h	1.33 KB
/usr/include/cadical/kitten.h	3.44 KB
/usr/include/cadical/level.hpp	740.00 B
/usr/include/cadical/lidruptracer.hpp	4.05 KB
/usr/include/cadical/limit.hpp	4.61 KB
/usr/include/cadical/logging.hpp	3.08 KB
/usr/include/cadical/lratchecker.hpp	5.53 KB
/usr/include/cadical/lrattracer.hpp	1.42 KB
/usr/include/cadical/message.hpp	1.10 KB
/usr/include/cadical/occs.hpp	807.00 B
/usr/include/cadical/options.hpp	25.18 KB
/usr/include/cadical/parse.hpp	2.59 KB
/usr/include/cadical/phases.hpp	478.00 B
/usr/include/cadical/profile.hpp	9.74 KB
/usr/include/cadical/proof.hpp	4.23 KB
/usr/include/cadical/queue.hpp	1.79 KB
/usr/include/cadical/radix.hpp	5.36 KB
/usr/include/cadical/random.h	1.11 KB
/usr/include/cadical/random.hpp	2.17 KB
/usr/include/cadical/range.hpp	4.10 KB
/usr/include/cadical/reap.hpp	468.00 B

Component of

Buildroot	Created	State
1 through 3 of 3
f45-build-39358-733	2026-10-18 07:59:10
f45-build-36536-706	2026-10-18 00:27:35
f45-build-7148-358	2026-10-13 07:43:36

Main Site Links:

Information for RPM cadical-devel-1:2.2.1-6.fc45.riscv64.rpm