package lp-gurobi

  1. Overview
  2. Docs

Module Lp_grbSource

Thin ctypes wrapper around Gurobi's C API.

Sourceexception Gurobi_error of string
Sourcemodule Vt : sig ... end

Variable type.

Sourcemodule Cs : sig ... end

Constraint sense.

Sourcemodule Stat : sig ... end

Status of the model.

Sourcetype env

*env in C.

Sourcetype model

*model in C.

Sourceval get_error_msg : env -> string
Sourceval check : env -> int -> unit
Sourceval start_env : env -> unit
Sourceval empty_env : ?start:bool -> unit -> env
Sourceval free_env : env -> unit
Sourceval set_int_param : env -> string -> int -> unit
Sourceval set_term_output : env -> bool -> unit
Sourceval new_model : env -> string -> float list -> float list -> float list -> Vt.t list -> string list -> model
Sourceval free_model : env -> model -> unit
Sourceval set_int_attr : env -> model -> string -> int -> unit
Sourceval get_int_attr : env -> model -> string -> int
Sourceval set_minimize : env -> model -> unit
Sourceval set_maximize : env -> model -> unit
Sourceval update_model : env -> model -> unit
Sourceval optimize : env -> model -> unit
Sourceval add_var : env -> model -> int list -> float list -> float -> float -> float -> Vt.t -> string -> unit
Sourceval add_constr : env -> model -> int list -> float list -> Cs.t -> float -> string -> unit
Sourceval add_qpterms : env -> model -> int list -> int list -> float list -> unit
Sourceval add_qconstr : env -> model -> int list -> float list -> int list -> int list -> float list -> Cs.t -> float -> string -> unit
Sourceval get_status : env -> model -> Stat.t
Sourceval get_dbl_attr : env -> model -> string -> float
Sourceval get_obj_val : env -> model -> float
Sourceval get_dbl_attr_array : env -> model -> string -> int -> int -> float list
Sourceval get_obj_x : env -> model -> int -> float list
Sourceval write : env -> model -> string -> unit