我使用here分支按照ml-ng所述构建了z3。一切似乎都已经完成了，除非我想在OCaml中使用z3 toplevel（我尝试使用FindLib #require命令导入所需的内容）我收到此错误：
错误：外部函数`n_is_null＆＃39;无法使用
关于这是什么的任何想法，以及如何在顶层成功使用z3？
答案 0 :(得分：0)
我刚刚使用一组新的构建规则更新了ml-ng分支，这些构建规则应该构建并安装一个也适用于ocaml toplevel的软件包。另请参阅以下有关codeplex的讨论：OCaml bindings status and compilation