README (p.lp.0.1.0.doc.README)

Install

# optional but recommended to pin dev-repo as it's on quite early stage of development
opam pin lp --dev-repo
opam install lp

Example

let x = Lp.var "x"
let y = Lp.var "y"

let problem =
  let open Lp in
  let c0 = x ++ c 1.2 *~ y <~ c 5.0 in
  let c1 = c 2.0 *~ x ++ y <~ c 1.2 in
  let obj = maximize (x ++ y) in
  let cnstrs = [c0; c1] in
  (obj, cnstrs)

let write () =
   if Lp.validate problem then
       Lp.write "my_problem.lp" problem
   else
       print_endline "Oops, my problem is broken."

let solve () =
    match Lp.Glpk.Simplex.solve problem with
    | Ok (obj, tbl) ->
        Printf.printf "Objective: %.2f\n" obj ;
        Printf.printf "x: %.2f y: %.2f\n"
        (Hashtbl.find tbl x) (Hashtbl.find tbl y) ;
    | Error msg -> print_endline msg

Notes on GLPK interface

Tested only on GLPK version 4.65, something may fail on other versions.
To use this, compile your application with -cclib -lglpk flags.

Conformity to LP file format

Currently only basic features of LP file format are supported. Yet to be supported are advanced features, which are typically available on commercial solvers. (There is no standard of LP file, though.)

supported

Single objective (linear and quadratic)
Constraints (linear and quadratic)
Bounds
Variable types (General Integers and Binary Integers)

not-supported

Semi-continuous variables
Multi-objective
Lazy constraint
Special ordered set (SOS)
Piecewise-linear (PWL) objective and constraint
General Constraint
Scenario

References

Some references to LP file format.

License

MIT