glpk 0.1.8 · OCaml Package

type lp

type direction =

| Minimize
| Maximize

type aux_var_type =

| Free_var
| Lower_bounded_var
| Upper_bounded_var
| Double_bounded_var
| Fixed_var

type prob_class =

| Linear_prog
| Mixed_integer_prog

type var_kind =

| Continuous_var
| Integer_var

exception Fault

exception Empty

exception Bad_basis

exception Lower_limit

exception Upper_limit

exception No_primal_feasible_solution

exception No_dual_feasible_solution

exception Iteration_limit

exception Time_limit

exception No_convergence

exception Solver_failure

exception Unknown_error

val new_problem : unit -> lp

val make_problem : 
  direction ->
  float array ->
  float array array ->
  (float * float) array ->
  (float * float) array ->
  lp

val read_cplex : string -> lp

val write_cplex : lp -> string -> unit

val set_prob_name : lp -> string -> unit

val get_prob_name : lp -> string

val set_class : lp -> prob_class -> unit

val get_class : lp -> prob_class

val set_direction : lp -> direction -> unit

val get_direction : lp -> direction

val set_obj_name : lp -> string -> unit

val get_obj_name : lp -> string

val add_rows : lp -> int -> unit

val get_num_rows : lp -> int

val set_row_name : lp -> int -> string -> unit

val get_row_name : lp -> int -> string

val set_row_bounds : lp -> int -> aux_var_type -> float -> float -> unit

val add_columns : lp -> int -> unit

val get_num_cols : lp -> int

val set_col_name : lp -> int -> string -> unit

val get_col_name : lp -> int -> string

val set_col_kind : lp -> int -> var_kind -> unit

val set_col_bounds : lp -> int -> aux_var_type -> float -> float -> unit

val set_obj_coef : lp -> int -> float -> unit

val load_matrix : lp -> float array array -> unit

val load_sparse_matrix : lp -> ((int * int) * float) array -> unit

val scale_problem : lp -> unit

val unscale_problem : lp -> unit

val warm_up : lp -> unit

val simplex : lp -> unit

val interior : lp -> unit

val branch_and_bound : lp -> unit

val branch_and_bound_opt : lp -> unit

val get_obj_val : lp -> float

val get_col_primal : lp -> int -> float

val get_col_primals : lp -> float array

val get_row_primal : lp -> int -> float

val get_row_dual : lp -> int -> float

val set_message_level : lp -> int -> unit

val use_presolver : lp -> bool -> unit

val set_simplex_iteration_count : lp -> int -> unit

val reset_simplex_iteration_count : lp -> unit

val get_simplex_iteration_count : lp -> int

val set_simplex_iteration_limit : lp -> int -> unit

val get_simplex_iteration_limit : lp -> int

val set_simplex_time_limit : lp -> float -> unit

val get_simplex_time_limit : lp -> float

package glpk