z3 ocaml绑定有错误n_is_null不可用

我从中克隆了z3校准仪，然后运行

python脚本/mk_make.py--ml
光盘制作
制作
sudo制作安装
sudo make ocamlfind_安装

然后设置变量LD_LIBRARY_PATH和CAML_LD_LIBRARY_PATH

然而，当需要包Z3时，甚至我只是按照Z3中的例子，它说

错误：外部函数n_is_null不可用

那么，怎么了

我正在使用Linux，Ubuntu 14.04

---

谢谢大家。我解决不了这个问题。我将首先尝试使用python进程来确定公式，然后在ocaml中与该进程通信。无论如何，非常感谢。

此消息表示libz3ml.so没有正确编译，或者找不到它。请注意，在OSX上，LD_LIBRARY_路径称为DYLD_LIBRARY_路径，.so称为libz3.dylib。不过，Ocamlfind应该能够解决所有这些问题，examples/ml/readmether中有一个调用Ocamlfind的示例，在我的构建过程中没有错误和警告。但是我找不到名为libz3ml.so的lib，而有libz3ml.a和dllz3ml.so。但是他们不能让它工作。你是在顶层尝试吗？z3目前在顶级中不起作用。除了等待它被修复之外，我什么都不用做。不，我只是按照ml示例中的自述文件进行操作。它总是说n_is_null不可用…您能试试说明和/或吗？