mccs(1) | Debian User's Manual | mccs(1) |
NAME¶
mccs - package dependency solverSYNOPSIS¶
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¶
- -i file
- Read input from file file instead of standard input.
- -o file
- Write the solution to file instead of standard output.
- -fo
- full solution output
- -v n
- set verbosity level to n.
- -h
- print this help
OPTIONS FOR SELECTING THE SOLVER ENGINE¶
By default, mccs uses the cbc solving engine.- -lpsolve
- use lpsolve solver
- -lp lpsolver
- specify a solving engine that takes the cplex input format. lpsolver is 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).
- -pblib pbsolver
- use pseudo-Boolean solver pbsolver as solving engine.
- -nosolve
- do not solve the problem (for debugging)
OPTIONS FOR CONTROLLING CONSTRAINT GENERATION¶
- -noreduce
- do not reduce the initial problem
- -only-agregate-constraints
- generate only agregate constraints
- -only-desagregate-constraints
- generate only deagregate constraints (default)
- -all-constraints
- generate 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
mccs -i legacy.cudf -o sol -lexagregate[-removed,-changed]\
-lpsolve
mccs -i legacy.cudf -o sol \
-lexsemiagregate[-removed,-notuptodate,\
-nunsat[recommends:,true],-new]
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 |