Module `Lp_highs.Cmd`

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) Stdlib.result

Run HiGHS and obtain the output solution.

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