package mccs

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type problem

exception Timeout

val problem_of_cudf : Cudf.cudf -> problem

type solver_backend = [

]

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