- libc6 (>= 2.38)
- libgcc-s1 (>= 3.0)
- libglpk40 (>= 4.59)
- libstdc++6 (>= 13.1)
- libstdlib-ocaml-0d647
- ocaml-base-5.2.0
mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project.
.
This repository 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 from mccs.
Only the GLPK backend and the lpsolve interface are compiled
Installed Size: 499.7 kB
Architectures: arm64 amd64