Skip to content

Latest commit

 

History

History
30 lines (19 loc) · 598 Bytes

README.md

File metadata and controls

30 lines (19 loc) · 598 Bytes

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