Я установил пакет 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