Stripped-down version of mccs with OCaml bindings (this fork removes GLPK code) - View it on GitHub