Z3 java binding error: “The operating system cannot run %1”

问题

When I run Z3's JavaExample.java to test the java bindings, I get the following error:

Exception in thread "main" java.lang.UnsatisfiedLinkError:Exception in thread "main" java.lang.UnsatisfiedLinkError: C:\git\z3\build\libz3java.dll: The operating system cannot run %1
    at java.lang.ClassLoader$NativeLibrary.load(Native Method)
    at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1938)
    at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1854)
    at java.lang.Runtime.loadLibrary0(Runtime.java:870)
    at java.lang.System.loadLibrary(System.java:1122)
    at com.microsoft.z3.Native.<clinit>(Native.java:14)
    at com.microsoft.z3.Global.ToggleWarningMessages(Global.java:86)
    at JavaExample.main(JavaExample.java:2347)

What could be causing this?

来源：https://stackoverflow.com/questions/35288914/z3-java-binding-error-the-operating-system-cannot-run-1