Module Lp_highs.Ctypes

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

Run HiGHS through the C API and obtain the output solution. This backend supports LP, MILP, and convex QP. MIQP and quadratically constrained classes (QCP/MIQCP) are unsupported.

  • parameter msg

    If false, disables console logging in HiGHS.

  • parameter log_path

    Path to the HiGHS log file.

  • parameter time_limit

    Maximum time allowed for the solver (in seconds).

  • parameter gap_rel

    Relative MIP gap tolerance.

  • parameter gap_abs

    Absolute MIP gap tolerance.

  • parameter options

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

  • returns

    The objective value and assignments.