now there's an actual solver!
Merge branch 'master' of https://github.com/dkang81/ocamlclient