cadical-devel-1:2.0.0-3.fc41.riscv64.rpm | RPM Info

Information for RPM cadical-devel-1:2.0.0-3.fc41.riscv64.rpm

1400597

Name

cadical-devel

Version

2.0.0

Release

3.fc41

Epoch

Arch

riscv64

Summary

Development files for cadical

Description

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

Build Time

2024-08-06 15:53:14 GMT

Size

76.82 KB

SIGMD5

db94e482cdde449c912181708202a64e

License

MIT

VCS

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

Buildroot

f41-build-830714-156680

Provides

cadical-devel = 1:2.0.0-3.fc41

cadical-devel(riscv-64) = 1:2.0.0-3.fc41

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

cadical-libs(riscv-64) = 1:2.0.0-3.fc41

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 62 >>>
/usr/include/cadical	0.00 B
/usr/include/cadical.hpp	19.00 B
/usr/include/cadical/arena.hpp	3.56 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	47.03 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.09 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	13.76 KB
/usr/include/cadical/file.hpp	5.18 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.35 KB
/usr/include/cadical/instantiate.hpp	1.27 KB
/usr/include/cadical/internal.hpp	52.97 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.69 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.38 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.65 KB
/usr/include/cadical/parse.hpp	2.45 KB
/usr/include/cadical/phases.hpp	506.00 B
/usr/include/cadical/profile.hpp	8.50 KB
/usr/include/cadical/proof.hpp	3.83 KB
/usr/include/cadical/queue.hpp	1.61 KB
/usr/include/cadical/radix.hpp	5.33 KB
/usr/include/cadical/random.hpp	2.16 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

Buildroot	Created	State
1 through 5 of 5
f41-build-848540-164420	2024-09-19 05:49:11
f41-build-844823-162557	2024-08-18 19:50:26
f41-build-842767-161629	2024-08-15 20:49:09
f41-build-842658-161627	2024-08-15 18:38:08
f41-build-837583-159169	2024-08-11 07:38:45

Main Site Links:

Information for RPM cadical-devel-1:2.0.0-3.fc41.riscv64.rpm