ocaml-z3 An OCaml interface to the Z3 SMT solver Local build steps This package depends on the oasis build system being installed on your machine. From the project's root directory: ./configure make build make install Installation with OPAM Install Git On Mac OS X, Git is included with XCode. Install OPAM From the command line, run: opam pin add z3 https://github.com/plasma-umass/ocaml-z3.git