This directory contains scripts to build the test application using OCaml. You also need CamlIDL to be able to generate the OCaml API. - To download OCaml: http://caml.inria.fr/ocaml/ - To download CamlIDL: http://forge.ocamlcore.org/projects/camlidl/ - One must build the OCaml library before compiling the example. Go to directory ../ocaml - Use 'build-test.cmd' to build the test application using the OCaml compiler. Remark: The OCaml and C compiler tool chains must be configured in your environment. Running from the Visual Studio Command Prompt configures the Microsoft C compiler. - The script 'exec.cmd' adds the bin directory to the path. So, test_mlapi.exe can find z3.dll.