package mccs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type problem
exception Timeout
val problem_of_cudf : Cudf.cudf -> problem
type solver_backend = [
  1. | `GLPK
  2. | `LP of string
  3. | `COIN_CLP
  4. | `COIN_CBC
  5. | `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
OCaml

Innovation. Community. Security.