mccs

MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library mccs
Module Mccs
type problem
exception Timeout
val problem_of_cudf : Cudf.cudf -> problem
type solver_backend = [
| `GLPK
| `LP of string
| `COIN_CLP
| `COIN_CBC
| `COIN_SYMPHONY
]
val resolve_cudf : ?verbose:bool -> ?timeout:float -> ?solver:solver_backend -> string -> Cudf.cudf -> Cudf.solution option

Resolve the given problem. The timeout is in seconds, default is to never time out.

val solver_id : string

Deprecated, corresponds to the default solver backend selection only

val get_solver_id : ?solver:solver_backend -> unit -> string
val supported_backends : solver_backend list