Multi Criteria CUDF Solver with OCaml bindings
1022.70 KB
built 2026-10-16 12:55:26 GMT
Description
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project.
This project contains a stripped-down version of the mccs solver, taken from
snapshot 1.1, with a binding as an OCaml library, and building with dune.
The binding enables interoperation with binary CUDF data from the OCaml CUDF
library, and removes the native C++ parsers and printers.
Dependencies
10 totalRequires8
- gcc
- gcc-c++
- glpk-devel
- ocaml
- ocaml-cudf-devel
- ocaml-dune
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ocaml-mccs = 1.1.19-6.fc45
- ocaml-mccs-devel = 1.1.19-6.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
3Name  |
Size |
|---|---|
| ocaml-mccs-1.1-19.tar.gz | 1001.28 KB |
| ocaml-mccs-1.1-glpk.patch | 247.00 B |
| ocaml-mccs.spec | 9.93 KB |
Files 1–3 of 3
Component of
buildroots that installed this RPMNo Buildroots