Lp_highs (lp-highs.Lp

module Cmd : sig ... end

module Ctypes : sig ... end

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. By default this uses Ctypes.solve. If path is given or keep_files=true, this falls back to Cmd.solve.