search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
123 stars 34 forks source link

Windows 8 64bit: Can't find dependent libraries #42

Closed magnus-madsen closed 5 years ago

magnus-madsen commented 10 years ago

Hi,

I'm using the may release scalaz3-win-64b-2.1.1.jar

I get the following exception when trying to run a small example on Windows 8, x64:

Exception in thread "main" java.lang.UnsatisfiedLinkError: C:\Users\AppData\Local\Temp\SCALAZ3_63b836a3598d68208352cc915673bed\lib-bin\libz3.dll: Can't find dependent libraries.

Here is the content of SCALAZ3_63b836a3598d68208352cc915673bed\lib-bin:

07/10/2014 11:49 AM 8,164,352 libz3.dll 07/10/2014 11:49 AM 173,056 Microsoft.Z3.dll 07/10/2014 11:49 AM 608,080 msvcp100.dll 07/10/2014 11:49 AM 829,264 msvcr100.dll 07/10/2014 11:49 AM 56,832 scalaz3.dll 07/10/2014 11:49 AM 57,168 vcomp100.dll 07/10/2014 11:49 AM 8,268,800 z3.exe 07/10/2014 11:49 AM 242,993 z3.pyc 07/10/2014 11:49 AM 6,828 z3consts.pyc 07/10/2014 11:49 AM 152,911 z3core.pyc 07/10/2014 11:49 AM 39,815 z3printer.pyc 07/10/2014 11:49 AM 256 z3test.pyc 07/10/2014 11:49 AM 11,040 z3types.pyc

I tried deleting this directory, but I get the same error.

Let me know what other information you need.