Ocalmlfind не может найти пакет Z3
Я установил пакет z3 отсюда https://github.com/Z3Prover/z3.git Однако ocamlfind не может его найти.
если я запускаю какой z3, он показывает, где установлен компонент. Тем не менее, Ocamlfind не может найти его.
Шаги для установки Z3
python ./scripts/mk_make.py --ml --prefix=D:/winz3 -g
cd build
make
make install