把安装目录(我的是../z3-4.8.14-x64-win.zip)/bin添加到系统环境变量path里,就可以了。 demo创建参见SMT约束求解器Z3——java绑定_时间过的真的很快-CSDN博客_java z3