mirror of
https://github.com/Z3Prover/z3
synced 2025-08-10 13:10:50 +00:00
8 lines
340 B
Text
8 lines
340 B
Text
This directory is work in progress.
|
|
|
|
We are currently working on a brand new ML API.
|
|
|
|
On Windows, there are no less than four different ports of OCaml. The Z3 build
|
|
system assumes that either the win32 or the win64 port is installed. This means
|
|
that OCaml will use `cl' as the underlying C compiler and not the cygwin or
|
|
mingw compilers.
|