package mccs

You can search for identifiers within the package.

in-package search v0.2.0

MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project

Install

md5=13504d3b5dcbf0bdc6d95a62de20af4a

sha512=2c2bc3c0e82b53a0e20c2542704eba8e3a2a1884f31b1a0a0079dd22fc02be8a8a62e582bdbf501339be0e9d6824872d737087e0fe150073b29b374505de073d

Sourcetype problem

Sourceexception Timeout

Sourceval problem_of_cudf : Cudf.cudf -> problem

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

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