代码之家 › 专栏 › 技术社区 › harin04

OcalFind找不到Z3包

ocamlfind z3 ocaml

harin04 · 技术社区 · 6 年前

我已经从这里安装了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

0 回复 | 直到 6 年前

推荐文章

nyuw · 量词中的非零向量

6 年前

waskyo · 更改z3位向量操作的类型

7 年前

tjhance · z3无量词的数据类型匹配

7 年前

Pushpa · 理解Z3中的量词遍历

7 年前

Pushpa · 将Z3 QBF公式直接转换为pcnf

7 年前

Jivan · z3中的部分解释常量

7 年前

Jivan · 组合z3中给定项集的元素

7 年前

OrenIshShalom · KLEE的Z3无限循环

7 年前

jmite · Z3中的全面评估结果?

7 年前

tyr.bentsen · Z3:表示线性代数性质

7 年前