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