【发布时间】：2013-03-20 14:52:04
【问题描述】：
uploaded nightly builds for Linux 不包括 OCaml 绑定。我们是否知道将来是否会添加绑定？
从源代码构建是获得 OCaml 支持的唯一方法吗？从之前的问题 (Compiling z3 ocaml binding in linux) 看来，构建系统似乎还没有为 Linux 做好准备。有变化吗？
【问题讨论】：
标签： z3
【发布时间】：2013-03-20 14:52:04
【问题描述】：
我们很快就会为 Z3 提供一个新的 OCaml API，并且二进制文件将包含在每晚构建中。
当前官方版本中的 OCaml API 是旧的，不支持 Z3 中可用的新功能。新的 OCaml API 将具有与 .NET、Java 和 Python API 相同的功能。
ml-ng branch 是这个新 API 的工作分支。
【讨论】：
-
谢谢莱昂纳多！我们迫不及待地等待 OCaml 发布您的出色工具。