ocaml-z3

An OCaml interface to the Z3 SMT solver

Local build steps

This package depends on the dune build system being installed on your machine.

From the project's root directory:

dune build

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/priyasrikumar/ocaml-z3.git