Z3:Linux中的OCaml支持

不包括OCaml绑定。我们知道将来是否会添加绑定吗

---

从源代码构建是获得OCaml支持的唯一途径吗？从前面的问题（）来看，构建系统似乎还没有为Linux做好准备。这种情况改变了吗？

我们很快就会有一个新的用于Z3的OCAMLAPI，并且二进制文件将包含在夜间构建中。 官方版本中当前的OCAMLAPI是旧的，不支持Z3中提供的新功能。新的OCAMLAPI将具有与.NET、Java和Python API相同的功能。

---

mlng

是这个新API的工作分支。

谢谢莱昂纳多！我们等不及OCaml发布您的优秀工具了。