Sun, 15 Nov 2026 17:12:02 UTC Log in
Simplex algorithm for solving systems of linear inequalities 392.07 KB built 2026-10-16 13:03:21 GMT

Description

This package contains a library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions.

Dependencies

21 total
Requires18
  • ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
  • ocaml(CamlinternalLazy) = 39aa2e9bf7e25b383556f7748b45c72f
  • ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
  • ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
  • ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
  • ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
  • ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
  • ocaml(Stdlib__Lazy) = 9888b2ba7f344f43c41116cffda5081a
  • ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
  • ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
  • ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
  • ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5
  • ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
  • 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
  • ocaml(OcplibSimplex) = fe80a58613d284c9d91f53bb8929b8ed
  • ocaml-ocplib-simplex = 1:0.4.1-18.fc45
  • ocaml-ocplib-simplex(riscv-64) = 1:0.4.1-18.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

12
Files 1–12 of 12

Component of

buildroots that installed this RPM

No Buildroots