Tue, 03 Dec 2024 17:53:38 UTC | login

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

ID1400597
Namecadical-devel
Version2.0.0
Release3.fc41
Epoch1
Archriscv64
SummaryDevelopment files for cadical
DescriptionLibrary links and header files for developing applications that use cadical.
Build Time2024-08-06 15:53:14 GMT
Size76.82 KB
db94e482cdde449c912181708202a64e
LicenseMIT
git:https://github.com/arminbiere/cadical.git
Buildrootf41-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
Page:
1 through 50 of 62 >>>
Name ascending sort Size
/usr/include/cadical0.00 B
/usr/include/cadical.hpp19.00 B
/usr/include/cadical/arena.hpp3.56 KB
/usr/include/cadical/averages.hpp779.00 B
/usr/include/cadical/bins.hpp369.00 B
/usr/include/cadical/block.hpp715.00 B
/usr/include/cadical/cadical.hpp47.03 KB
/usr/include/cadical/ccadical.h2.25 KB
/usr/include/cadical/checker.hpp5.71 KB
/usr/include/cadical/clause.hpp8.30 KB
/usr/include/cadical/config.hpp314.00 B
/usr/include/cadical/contract.hpp4.09 KB
/usr/include/cadical/cover.hpp1.19 KB
/usr/include/cadical/decompose.hpp730.00 B
/usr/include/cadical/drattracer.hpp1.24 KB
/usr/include/cadical/elim.hpp644.00 B
/usr/include/cadical/ema.hpp1.56 KB
/usr/include/cadical/external.hpp13.76 KB
/usr/include/cadical/file.hpp5.18 KB
/usr/include/cadical/flags.hpp2.68 KB
/usr/include/cadical/format.hpp888.00 B
/usr/include/cadical/frattracer.hpp1.60 KB
/usr/include/cadical/heap.hpp5.49 KB
/usr/include/cadical/idruptracer.hpp3.35 KB
/usr/include/cadical/instantiate.hpp1.27 KB
/usr/include/cadical/internal.hpp52.97 KB
/usr/include/cadical/inttypes.hpp1010.00 B
/usr/include/cadical/ipasir.h1.33 KB
/usr/include/cadical/level.hpp740.00 B
/usr/include/cadical/lidruptracer.hpp3.69 KB
/usr/include/cadical/limit.hpp2.15 KB
/usr/include/cadical/logging.hpp2.69 KB
/usr/include/cadical/lratbuilder.hpp6.56 KB
/usr/include/cadical/lratchecker.hpp5.38 KB
/usr/include/cadical/lrattracer.hpp1.34 KB
/usr/include/cadical/message.hpp1.10 KB
/usr/include/cadical/occs.hpp807.00 B
/usr/include/cadical/options.hpp18.65 KB
/usr/include/cadical/parse.hpp2.45 KB
/usr/include/cadical/phases.hpp506.00 B
/usr/include/cadical/profile.hpp8.50 KB
/usr/include/cadical/proof.hpp3.83 KB
/usr/include/cadical/queue.hpp1.61 KB
/usr/include/cadical/radix.hpp5.33 KB
/usr/include/cadical/random.hpp2.16 KB
/usr/include/cadical/range.hpp3.42 KB
/usr/include/cadical/reap.hpp468.00 B
/usr/include/cadical/reluctant.hpp2.28 KB
/usr/include/cadical/resources.hpp314.00 B
/usr/include/cadical/score.hpp294.00 B
Component of
1 through 12 of 12
Buildroot descending sort Created State
f41-build-859496-168684 2024-10-27 09:23:49 expired
f41-build-859291-168593 2024-10-27 06:07:36 expired
f41-build-858634-168433 2024-10-26 10:16:25 expired
f41-build-857242-167881 2024-10-25 09:48:45 expired
f41-build-857006-167776 2024-10-25 04:48:05 expired
f41-build-854684-166886 2024-10-02 22:56:54 expired
f41-build-852753-166415 2024-09-29 06:34:15 expired
f41-build-848540-164420 2024-09-19 05:49:11 expired
f41-build-844823-162557 2024-08-18 19:50:26 expired
f41-build-842767-161629 2024-08-15 20:49:09 expired
f41-build-842658-161627 2024-08-15 18:38:08 expired
f41-build-837583-159169 2024-08-11 07:38:45 expired