ocaml-glpk are OCaml bindings to GLPK (GNU Linear Programming Kit) which is a package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. The library is released under the GPL license (like GLPK itself).