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
GLPK source it links against is
also included within src/glpk, at version 5.0 (unmodified, apart from many
removed modules, corresponding to the parts that we don't use).
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 by default, but
that can be tuned by setting the MCCS_BACKENDS environment variable, at
compile-time, to a space-separated list of the following:
SYMPHONY. Note that, apart from
GLPK, you will need the corresponding
libraries installed, the backends will be dynamically linked, and these are
experimental may not work as expected. Additionally, the compilation of the
included GLPK version can be disabled by removing
replaced by dynamic/static linking by renaming one of the
NOTE: the lib takes criteria as a string, in the format accepted by mccs (see
mccs -h), assuming
-lexagregate[CRITERIA]. There are two important
the colon after properties can be omitted
the second parameter for
counthas been extended from a boolean to any
solution, for more expressivity.
opam install . (opam 2.0), or
Note: this depends on a C++ compiler, and was only tested with g++.