Z3：Linux中的OCaml支持

Question

uploaded nightly builds for Linux不包含OCaml綁定。我們知道綁定是否會在未來添加？

從源頭上構建獲得OCaml支持的唯一方法？從以前的問題（Compiling z3 ocaml binding in linux）看來，構建系統還沒有準備好用於Linux。有改變嗎？

Answer 1

我們很快將爲Z3提供一個新的OCaml API，並且二進制文件將包含在夜間版本中。 正式版本中的當前OCaml API是舊的，不支持Z3中提供的新功能。新的OCaml API將具有與.NET，Java和Python API相同的功能。 ml-ngbranch是這個新API的工作分支。