package lp-glpk

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

Install 

dune-project
 Dependency

github.com Readme Changelog 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.5.0.tar.gz
md5=5e9ec847f25fb939b3c68ae99244cfac
sha512=336c007cc2a26eebbe0027ed43a853518182589e6fa56b127aee33e268cfdc0d147f0bf0280df80bb172aa3a672349f59adf1f5675d4f8f5dfdcfa427558dd34

doc/lp-glpk.bindings/Lp_glpk_bindings/M/index.html

Module Lp_glpk_bindings.MSource

Parameters

module F : Ctypes.FOREIGN

Signature

Sourceval set_term_out : (bool -> unit F.return) F.result
Sourcetype prob = unit Ctypes.ptr
Sourceval create_prob : (unit -> prob F.return) F.result
Sourceval delete_prob : (prob -> unit F.return) F.result
Sourceval set_prob_name : (prob -> string -> unit F.return) F.result
Sourceval get_prob_name : (prob -> string F.return) F.result
Sourceval set_obj_dir : (prob -> T.Dir.t -> unit F.return) F.result
Sourceval get_obj_dir : (prob -> T.Dir.t F.return) F.result
Sourceval add_rows : (prob -> int -> int F.return) F.result
Sourceval add_cols : (prob -> int -> int F.return) F.result
Sourceval set_row_name : (prob -> int -> string -> unit F.return) F.result
Sourceval get_row_name : (prob -> int -> string F.return) F.result
Sourceval set_col_name : (prob -> int -> string -> unit F.return) F.result
Sourceval get_col_name : (prob -> int -> string F.return) F.result
Sourceval set_row_bnds : (prob -> int -> T.Bnd.t -> float -> float -> unit F.return) F.result

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 -> T.Bnd.t -> float -> float -> unit F.return) F.result

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 F.return) F.result

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 F.return) F.result

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 F.return) F.result

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 F.return) F.result

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 -> T.Vt.t -> unit F.return) F.result
Sourceval get_col_kind : (prob -> int -> T.Vt.t F.return) F.result
Sourceval get_num_rows : (prob -> int F.return) F.result
Sourceval get_num_cols : (prob -> int F.return) F.result
Sourceval get_num_nz : (prob -> int F.return) F.result
Sourceval get_num_int : (prob -> int F.return) F.result
Sourceval get_num_bin : (prob -> int F.return) F.result
Sourceval get_status : (prob -> T.Stat.t F.return) F.result
Sourceval mip_status : (prob -> T.Stat.t F.return) F.result
Sourceval get_obj_val : (prob -> float F.return) F.result
Sourceval mip_obj_val : (prob -> float F.return) F.result
Sourceval get_row_prim : (prob -> int -> float F.return) F.result
Sourceval get_row_dual : (prob -> int -> float F.return) F.result
Sourceval mip_row_val : (prob -> int -> float F.return) F.result
Sourceval get_col_prim : (prob -> int -> float F.return) F.result
Sourceval get_col_dual : (prob -> int -> float F.return) F.result
Sourceval mip_col_val : (prob -> int -> float F.return) F.result