Simple LP solver in OCaml