Provided by: mccs_1.1-8_amd64

**NAME**

mccs - package dependency solver

**SYNOPSIS**

mccs[options]

**DESCRIPTION**

mccs (which stands for Multi Criteria CUDF Solver) is a solver for package dependency problems expressed in the CUDF format. By default, mccs reads a problem specification from standard input, and writes the solution to standard output.

**OPTIONS** **FOR** **CONTROLLING** **INPUT/OUTPUT**

-ifileRead input from filefileinstead of standard input.-ofileWrite the solution tofileinstead of standard output.-fofull solution output-vnset verbosity level ton.-hprint this help

**OPTIONS** **FOR** **SELECTING** **THE** **SOLVER** **ENGINE**

By default, mccs uses the cbc solving engine.-lpsolveuse lpsolve solver-lplpsolverspecify a solving engine that takes the cplex input format.lpsolveris the path of a script that takes as input the file name containing the cplex input, and that produces the solution on standard output (an example for scip is given in /usr/share/doc/mccs/engines/sciplp).-pblibpbsolveruse pseudo-Boolean solverpbsolveras solving engine.-nosolvedo not solve the problem (for debugging)

**OPTIONS** **FOR** **CONTROLLING** **CONSTRAINT** **GENERATION**

-noreducedo not reduce the initial problem-only-agregate-constraintsgenerate only agregate constraints-only-desagregate-constraintsgenerate only deagregate constraints (default)-all-constraintsgenerate all kind of constraints (ensure redundancy)

**OPTIONS** **FOR** **CONTROLLING** **OPTIMIZATION**

See the file /usr/share/doc/mccs/README.optimization-criteria for a full grammar of optimization criteria.

**EXAMPLES**

An example input file can be found at /usr/share/doc/mccs/examples/legacy.cudf. mccs -i legacy.cudf calls mccs on examples/legacy.cudf and prints the solution on stdout. With such a call mccs will resort to the default underlying solver cbc and use a default criterion to solve the problem. mccs -i legacy.cudf -o sol -lexagregate[-removed,-changed]\ -lpsolve Here, mccs puts the solution into the file "sol" and solves the problem using the lpsolve solver with the paranoid criterion, which consists of first minimizing the number of removed packaged, and then the number of packages that change installation status or installed version. mccs -i legacy.cudf -o sol \ -lexsemiagregate[-removed,-notuptodate,\ -nunsat[recommends:,true],-new] The criterion used here is the trendy criterion, which consists of first minimizing the number of package removals, then to minimize the number of installed packages that are installed in a version older the most recent available version, then to minimize the number of recommendations of installed packages that are not satisfied, and finally the number of newly installed packages.

**AUTHOR**

mccs has been written by Claude Michel <cpjm@polytech.unice.fr>. The development of mccs has been partly supported by the European research project Mancoosi. 9 May 2011 mccs(1)