An implementation of the PubGrub version solving algorithm in OCaml.