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

Dune Dependency

www.i3s.unice.fr Readme Changelog Edit opam file Versions (16)

Authors

Maintainers

L

Louis Gesbert <louis.gesbert@ocamlpro.com>

Sources

mccs-1.1+19.tar.gz

md5=f852da188bf7de20e64be2fce0e48e0a

sha512=9b6ab739f85c163668573887cc9647cd8ef7fd0ad155a72819dbd4b6a243af4ba8b7e5678492f856d864471652ddcfaeed05da47b972a65ac1cd9e072ba88dc5

doc/mccs/Mccs/index.html

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