Sun, 08 Nov 2026 17:26:36 UTC Log in
Reverse search for vertex enumeration/convex hull problems 198.25 KB built 2026-10-15 01:22:11 GMT

Description

lrslib is a self-contained ANSI C implementation as a callable library of the reverse search algorithm for vertex enumeration/convex hull problems and comes with a choice of three arithmetic packages. Input file formats are compatible with Komei Fukuda's cdd package (cddlib). All computations are done exactly in either multiple precision or fixed integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.

Dependencies

22 total
Requires19
  • environment(modules)
  • ld-linux-riscv64-lp64d.so.1()(64bit)
  • ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
  • libc.so.6()(64bit)
  • libc.so.6(GLIBC_2.27)(64bit)
  • libc.so.6(GLIBC_2.38)(64bit)
  • libgcc_s.so.1()(64bit)
  • libgcc_s.so.1(GCC_3.3.1)(64bit)
  • libgmp.so.10()(64bit)
  • libgomp.so.1()(64bit)
  • libgomp.so.1(GOMP_1.0)(64bit)
  • libgomp.so.1(GOMP_4.0)(64bit)
  • libgomp.so.1(GOMP_4.5)(64bit)
  • libgomp.so.1(OMP_1.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
  • rtld(GNU_HASH)
Provides3
  • liblrs.so.1()(64bit)
  • lrslib = 7.3a-5.fc45
  • lrslib(riscv-64) = 7.3a-5.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

9
Files 1–9 of 9

Component of

buildroots that installed this RPM
Buildroot descending sort Created State
f45-build-56000-960 2026-10-30 12:46:01 expired
f45-build-51606-903 2026-10-29 16:30:48 expired
Buildroots 1–2 of 2