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 totalRequires18
- 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 RPMNo Buildroots
