package lp-highs

You can search for identifiers within the package.

in-package search v0.2.0

LP and MIP modeling in OCaml (HiGHS interface)

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

Maintainers

K

Kosuke Tahara <ksk.tahara@gmail.com>

Sources

0.5.0.tar.gz

md5=5e9ec847f25fb939b3c68ae99244cfac

sha512=336c007cc2a26eebbe0027ed43a853518182589e6fa56b127aee33e268cfdc0d147f0bf0280df80bb172aa3a672349f59adf1f5675d4f8f5dfdcfa427558dd34

doc/lp-highs/Lp_highs/index.html

Module `Lp_highs`Source

High-level interface to HiGHS.

Sourcemodule Cmd : sig ... end

Source

val solve : 
  ?path:string ->
  ?msg:bool ->
  ?log_path:string ->
  ?time_limit:float ->
  ?keep_files:bool ->
  ?gap_rel:float ->
  ?gap_abs:float ->
  ?options:(string * string) list ->
  Lp.Problem.t ->
  (float * float Lp.PMap.t, string) result

Run HiGHS and obtain the output solution. This is equivalent to Cmd.solve for now, but it may be changed to different implementation in the future.

parameter path
Path to the solver binary (you can get binaries by compiling from source - https://highs.dev). Defaults to "highs" ($PATH should be set properly for this).

parameter msg
If false, no log is shown on console. true by default.

parameter log_path
Path to the log file.

parameter time_limit
Maximum time allowed for the solver (in seconds). By default, there is no time limit.

parameter gap_rel
Relative gap tolerance for the solver to stop (in fraction).

parameter gap_abs
Absolute gap tolerance for the solver to stop.

parameter options
A list of additional options to pass to the solver.

parameter keep_files
If true, files are saved in the current directory and not deleted after solving. false by default.

returns
The pair of the status and the pair of the objective value and the assignments: (status, (objective, assignments)).