mccs

MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
README

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
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: GLPK, COIN, CLP,
CBC, 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 src/glpk/dune, and
replaced by dynamic/static linking by renaming one of the dune-shared and
dune-static files.

NOTE: the lib takes criteria as a string, in the format accepted by mccs (see
mccs -h), assuming -lexagregate[CRITERIA]. There are two important
differences:

  • the colon after properties can be omitted -count[version-lag,true] rather
    than -count[version-lag:,true]

  • the second parameter for count[] has been extended from a boolean to any
    one of request, new, changed, solution, for more expressivity.
    Example: -removed,-count[version-lag,true],-changed,-count[version-lag,false]

Build using opam install . (opam 2.0), or jbuilder build.

Note: this depends on a C++ compiler, and was only tested with g++.

Install
Published
18 May 2022
Sources
1.1+14.tar.gz
md5=9bfa9ff1eb3948403d44521e4e71933a
sha512=f7a50473efb7823f61dda2753be4887cebc6aa43c1cc9de2596a15b418fbc577ea60d96f66488a1008032f75bbc3b3b090017d5846d5558463bd8ca062270895
Dependencies
cudf
>= "0.7"
dune
>= "1.0"
Reverse Dependencies
opam-solver
>= "2.0.0~beta5"