Wed, 11 Nov 2026 10:36:04 UTC Log in

qepcad-B-1.74-13.fc45.riscv64.rpm

riscv64
Quantifier elimination tool 378.61 KB built 2026-10-17 16:20:33 GMT
Build 14901

Description

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.

Dependencies

37 total
Requires35
  • Singular
  • bash
  • coreutils
  • ld-linux-riscv64-lp64d.so.1()(64bit)
  • ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
  • libGL.so.1()(64bit)
  • libGLU.so.1()(64bit)
  • libc.so.6()(64bit)
  • libc.so.6(GLIBC_2.27)(64bit)
  • libc.so.6(GLIBC_2.34)(64bit)
  • libc.so.6(GLIBC_2.38)(64bit)
  • libgcc_s.so.1()(64bit)
  • libgcc_s.so.1(GCC_3.0)(64bit)
  • libglut.so.3()(64bit)
  • libm.so.6()(64bit)
  • libm.so.6(GLIBC_2.27)(64bit)
  • libreadline.so.8()(64bit)
  • libsaclib.so.2()(64bit)
  • libstdc++.so.6()(64bit)
  • libstdc++.so.6(CXXABI_1.3)(64bit)
  • libstdc++.so.6(CXXABI_1.3.15)(64bit)
  • libstdc++.so.6(CXXABI_1.3.8)(64bit)
  • libstdc++.so.6(CXXABI_1.3.9)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • rtld(GNU_HASH)
Provides2
  • qepcad-B = 1.74-13.fc45
  • qepcad-B(riscv-64) = 1.74-13.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

21
Name ascending sort Size
/usr/bin/ADJ2D_plot 23.92 KB
/usr/bin/cad2d 510.56 KB
/usr/bin/qepcad 494.25 KB
/usr/lib/.build-id 0.00 B
/usr/lib/.build-id/34 0.00 B
/usr/lib/.build-id/34/03801331e880f3d88c87faa6923a4b28d4aac3 25.00 B
/usr/lib/.build-id/42 0.00 B
/usr/lib/.build-id/42/c266bd87e170e4190cfd7b15caed2c28755682 30.00 B
/usr/lib/.build-id/4b 0.00 B
/usr/lib/.build-id/4b/bdfe5d23c8944f225cb03e9e66d61172264316 26.00 B
/usr/share/doc/qepcad-B 0.00 B
/usr/share/doc/qepcad-B/LOG 7.24 KB
/usr/share/licenses/qepcad-B 0.00 B
/usr/share/licenses/qepcad-B/LICENSE 830.00 B
/usr/share/qepcad 0.00 B
/usr/share/qepcad/bin 0.00 B
/usr/share/qepcad/bin/ADJ2D_plot 19.00 B
/usr/share/qepcad/bin/cad2d 14.00 B
/usr/share/qepcad/bin/qepcad 15.00 B
/usr/share/qepcad/bin/qepcad.help 25.60 KB
/usr/share/qepcad/default.qepcadrc 338.00 B
Files 1–21 of 21

Component of

buildroots that installed this RPM

No Buildroots