package mccs

You can search for identifiers within the package.

in-package search v0.2.0

package mccs

mccs
- Library mccs
  - Mccs
- Library mccs_glpk
  - Ocaml_mccs_glpk
- Sources
  - mccs
    
    mccs.ml
  - mccs_glpk
    
    ocaml_mccs_glpk.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Mccs`Source

Sourcetype problem

Sourceexception Timeout

Sourceval problem_of_cudf : Cudf.cudf -> problem

Sourcetype solver_backend = [

| `GLPK
| `LP of string
| `COIN_CLP
| `COIN_CBC
| `COIN_SYMPHONY

]

Source

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.

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

package mccs

Module MccsSource

Module `Mccs`Source