package mccs

You can search for identifiers within the package.

in-package search v0.2.0

package mccs

mccs
- Mccs
mccs.glpk.internal
- Ocaml_mccs_glpk

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 ->
  ?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.

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