Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val problem_of_cudf : Cudf.cudf -> problem
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 get_solver_id : ?solver:solver_backend -> unit -> string
val supported_backends : solver_backend list