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 command and obtain the output solution. This backend supports LP, MILP, and convex QP. MIQP and quadratically constrained classes (QCP/MIQCP) are unsupported.

  • parameter path

    Path to the solver binary.

  • parameter msg

    If false, no log is shown on console.

  • parameter log_path

    Path to the log file.

  • parameter time_limit

    Maximum time allowed for the solver (in seconds).

  • parameter gap_rel

    Relative gap tolerance.

  • parameter gap_abs

    Absolute gap tolerance.

  • parameter options

    Additional HiGHS options in (name, value) string pairs.

  • parameter keep_files

    If true, generated files are kept in the current directory.

  • returns

    The objective value and assignments.