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