- libstdlib-ocaml-0d647 arm64
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