为 Linux 上传的每晚构建不包括 OCaml 绑定。我们知道将来是否会添加绑定吗？
从源代码构建是获得 OCaml 支持的唯一方法吗？从上一个问题（在 linux 中编译 z3 ocaml 绑定）看来，构建系统还没有为 Linux 准备好。那改变了吗？
问问题
607 次
为 Linux 上传的每晚构建不包括 OCaml 绑定。我们知道将来是否会添加绑定吗？
从源代码构建是获得 OCaml 支持的唯一方法吗？从上一个问题（在 linux 中编译 z3 ocaml 绑定）看来，构建系统还没有为 Linux 准备好。那改变了吗？
我们很快就会为 Z3 提供一个新的 OCaml API，并且二进制文件将包含在每晚构建中。当前官方版本中的 OCaml API 是旧的，不支持 Z3 中可用的新功能。新的 OCaml API 将具有与 .NET、Java 和 Python API 相同的功能。该ml-ng 分支是这个新 API 的工作分支。