标签： ocaml z3 ocamlfind
我已经从这里https://github.com/Z3Prover/z3.git安装了z3软件包 但是ocamlfind无法找到它。
如果我运行哪个z3，它将列出该组件的安装位置。 但是，Ocamlfind无法找到它。
按照步骤安装Z3
python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g cd build make make install