Not only that, but Microsoft's Z3 supports ocaml and is still the first google hit for "z3 ocaml" in my search bubble: http://www.google.com/search?q=z3+ocaml h

Not only that, but Microsoft's Z3 supports ocaml and is still the first google hit for "z3 ocaml" in my search bubble: http://www.google.com/search?q=z3+ocaml http://www.google.com/search?q=z3+ocaml This project should change its name as soon as possible.