CODEWITHSUNDEEP
z3
Thanassis Avgerinos
Thanassis Avgerinos

Reputation: 15

Z3: OCaml support in Linux

The uploaded nightly builds for Linux do not include the OCaml bindings. Do we know if the bindings will be added in the future?

Is building from source the only way to get OCaml support? From a previous question (Compiling z3 ocaml binding in linux) it seemed that the building system was not ready yet for Linux. Has that changed?

Upvotes: 0

Views: 615

Answers (1)

Leonardo de Moura
Leonardo de Moura

Reputation: 21475

We will soon have a new OCaml API for Z3, and binaries will be included in the nightly builds. The current OCaml API in the official release is old and does not support new features available in Z3. The new OCaml API will have the same capabilities of the .NET, Java and Python APIs. The ml-ng branch is the working branch for this new API.

Upvotes: 0

Related Questions