Maven编译项目运行时链接Z3报错：找不到libz3java.so

核心认知：平台对应的本地库文件 #

Windows系统下，Z3的Java绑定依赖的本地库是libz3java.dll，而libz3java.so是Linux/macOS平台的文件，你完全不需要找.so文件，现有libz3java.dll就是你需要的运行依赖，libz3java.lib仅用于编译阶段，运行时无需使用。

具体解决方案 #

1. 运行Maven命令时显式指定java.library.path

直接在启动命令中添加VM参数，指向你的Z3 bin目录：

mvn exec:java -Dexec.mainClass="com.yourpackage.YourMainClass" -Djava.library.path="D:/path/to/z3-4.12.2-x64-win/bin"

替换com.yourpackage.YourMainClass为你的主类全限定名，路径换成你本地Z3 bin文件夹的绝对路径。

2. 在IDE运行配置中设置VM参数

如果用IDEA/Eclipse等IDE，在运行/调试配置的VM选项中添加：

-Djava.library.path=D:/path/to/z3-4.12.2-x64-win/bin

这样每次IDE运行项目时都会自动加载该路径下的本地库。

3. 在pom.xml中配置exec插件（持久化设置）

为了避免每次手动输入参数，可在项目pom.xml的build节点中配置exec-maven-plugin，固定java.library.path：

<build>
    <plugins>
        <plugin>
            <groupId>org.codehaus.mojo</groupId>
            <artifactId>exec-maven-plugin</artifactId>
            <version>3.1.0</version>
            <configuration>
                <mainClass>com.yourpackage.YourMainClass</mainClass>
                <systemProperties>
                    <property>
                        <name>java.library.path</name>
                        <value>${project.basedir}/../z3-4.12.2-x64-win/bin</value>
                    </property>
                </systemProperties>
            </configuration>
        </plugin>
    </plugins>
</build>

这里的路径可以根据你的项目与Z3目录的相对位置调整，或直接写绝对路径。之后只需执行mvn exec:java即可运行。

4. 环境变量补充（不推荐全局修改）

若不想每次指定参数，可将libz3java.dll所在路径添加到Windows的PATH环境变量中，或复制libz3java.dll到你的JRE安装目录的bin文件夹下。但这种方法会污染全局环境，仅作为临时应急方案。

误区澄清 #

• Windows系统没有LD_LIBRARY_PATH环境变量，你之前的SET | findstr '^LD_LIBRARY_PATH'命令完全无效，Windows对应的是PATH环境变量，但直接指定java.library.path比修改全局PATH更可控。
• 非Maven项目能运行，是因为其运行环境（比如你手动设置了PATH，或启动时的工作目录包含dll文件）已经加载了本地库，但Maven运行时的环境是隔离的，必须显式指定路径。

内容的提问来源于stack exchange，提问作者miriam