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的工作分支。