/ocaml-z3

Primary LanguageOCaml

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