Module MccsSource

Sourcetype problem
Sourceexception Timeout
Sourceval problem_of_cudf : Cudf.cudf -> problem
Sourcetype solver_backend = [
  1. | `GLPK
  2. | `LP of string
  3. | `COIN_CLP
  4. | `COIN_CBC
  5. | `COIN_SYMPHONY
]
Sourceval resolve_cudf : ?verbose:bool -> ?verbosity:int -> ?timeout:float -> ?mip_gap: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.

Sourceval solver_id : string

Deprecated, corresponds to the default solver backend selection only

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