- libc6 (>= 2.17)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 5.2)
- ocaml-base-nox-4.11.1
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: 357.4 kB
Architectures: amd64 arm64