Module Lp_highs_ffi.M

include sig ... end
type highs = unit Ctypes.ptr
val highs : highs Ctypes.typ
val version : (unit -> string G.return) G.result
val create : (unit -> highs G.return) G.result
val destroy : (highs -> unit G.return) G.result
val get_infinity : (highs -> float G.return) G.result
val set_bool_option_value : (highs -> string -> int -> Lp_highs_bindings.T.Status.t G.return) G.result
val set_int_option_value : (highs -> string -> int -> Lp_highs_bindings.T.Status.t G.return) G.result
val set_double_option_value : (highs -> string -> float -> Lp_highs_bindings.T.Status.t G.return) G.result
val set_string_option_value : (highs -> string -> string -> Lp_highs_bindings.T.Status.t G.return) G.result
val get_option_type : (highs -> string -> int Ctypes_static.ptr -> Lp_highs_bindings.T.Status.t G.return) G.result
val pass_lp : (highs -> int -> int -> int -> Lp_highs_bindings.T.MatrixFormat.t -> Lp_highs_bindings.T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> Lp_highs_bindings.T.Status.t G.return) G.result
val pass_mip : (highs -> int -> int -> int -> Lp_highs_bindings.T.MatrixFormat.t -> Lp_highs_bindings.T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> Lp_highs_bindings.T.VarType.t Ctypes_static.ptr -> Lp_highs_bindings.T.Status.t G.return) G.result
val pass_model : (highs -> int -> int -> int -> int -> Lp_highs_bindings.T.MatrixFormat.t -> Lp_highs_bindings.T.HessianFormat.t -> Lp_highs_bindings.T.ObjSense.t -> float -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> int Ctypes_static.ptr -> int Ctypes_static.ptr -> float Ctypes_static.ptr -> Lp_highs_bindings.T.VarType.t Ctypes_static.ptr -> Lp_highs_bindings.T.Status.t G.return) G.result
val get_solution : (highs -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> Lp_highs_bindings.T.Status.t G.return) G.result
val get_objective_value : (highs -> float G.return) G.result
val get_num_col : (highs -> int G.return) G.result
val get_num_row : (highs -> int G.return) G.result