package lp-glpk

  1. Overview
  2. Docs
LP and MIP modeling in OCaml (GLPK interface)

Install 

dune-project
 Dependency

github.com Readme MIT License Edit opam file Versions (5)

Authors

  1. K
    Kosuke Tahara <ksk.tahara@gmail.com>

Maintainers

  1. K
    Kosuke Tahara <ksk.tahara@gmail.com>

Sources

0.2.0.tar.gz
md5=a2a388ad1bb4d1aa2e6238628488336a
sha512=3d8e892d2e068f6574588cf80aaab53169bf1fc3b258721674bd28819d2f05f5f759ce89a5baab3336b0ff81c5e0508d010e70d2134d878b90f57ad9151a2ea3

doc/lp-glpk/Lp_glp/index.html

Module Lp_glpSource

Sourcemodule Dir : sig ... end
Sourcemodule Vt : sig ... end
Sourcemodule Bnd : sig ... end
Sourcemodule Stat : sig ... end
Sourcemodule BoolInt : sig ... end
Sourcemodule Msg : sig ... end
Sourcemodule Smcp : sig ... end
Sourcemodule Iocp : sig ... end
Sourcetype prob = unit Ctypes.ptr
Sourceval create_prob : unit -> prob
Sourceval delete_prob : prob -> unit
Sourceval set_prob_name : prob -> string -> unit
Sourceval get_prob_name : prob -> string
Sourceval set_obj_dir : prob -> Dir.t -> unit
Sourceval get_obj_dir : prob -> Dir.t
Sourceval add_rows : prob -> int -> int
Sourceval add_cols : prob -> int -> int
Sourceval set_row_name : prob -> int -> string -> unit
Sourceval get_row_name : prob -> int -> string
Sourceval set_col_name : prob -> int -> string -> unit
Sourceval get_col_name : prob -> int -> string
Sourceval set_row_bnds : prob -> int -> Bnd.t -> float -> float -> unit

set_row_bnds prob i bnd lb ub sets bounds of i-th row (constraint). * If the row is not lower (upper) bounded, lb (ub) is just ignored. * If the row is equality constraint (Bnd.FX), * only lb is used and ub is ignored.

Sourceval set_col_bnds : prob -> int -> Bnd.t -> float -> float -> unit

set_col_bnds prob j bnd lb ub sets bounds of j-th col (variable). * If the col is not lower (upper) bounded, lb (ub) is just ignored. * If the col is equality constraint (Bnd.FX), * only lb is used and ub is ignored.

Sourceval set_obj_coef : prob -> int -> float -> unit

set_obj_coef prob j sets the objective coefficient * at j-th col (variable)

Sourceval set_mat_row : prob -> int -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

set_mat_row prob i len indices vals sets the i-th row of constraint matrix.

Sourceval set_mat_col : prob -> int -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

set_mat_col prob j len indices vals sets the j-th column of constraint matrix.

Sourceval load_matrix : prob -> int -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit Ctypes_static.ptr -> unit

load_matrix prob ne ia ja ar sets the constraint matrix. * The matrix is represented as an sparce matrix. * for k=1 .. ne, value ark is set at (iak, jak) element.

Sourceval set_col_kind : prob -> int -> Vt.t -> unit
Sourceval get_col_kind : prob -> int -> Vt.t
Sourceval get_num_rows : prob -> int
Sourceval get_num_cols : prob -> int
Sourceval get_num_nz : prob -> int
Sourceval get_num_int : prob -> int
Sourceval get_num_bin : prob -> int
Sourceval get_status : prob -> Stat.t
Sourceval mip_status : prob -> Stat.t
Sourceval get_obj_val : prob -> float
Sourceval mip_obj_val : prob -> float
Sourceval get_row_prim : prob -> int -> float
Sourceval get_row_dual : prob -> int -> float
Sourceval mip_row_val : prob -> int -> float
Sourceval get_col_prim : prob -> int -> float
Sourceval get_col_dual : prob -> int -> float
Sourceval mip_col_val : prob -> int -> float