search

epfl-lara / ScalaZ3

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

Can't find dependent libraries :( #32

Closed tvcsantos closed 10 years ago

tvcsantos commented 10 years ago

Hello there,

i was trying to use this api for z3 in scala. I'm using windows 7 x64. I've compiled the thing as you mention, except for the scalaz3.dll part.

when i run sbt test, all tests fail, and when i use the .jar in scala projects i keep getting the following error:

"java.lang.UnsatisfiedLinkError: C:\Users\camon\AppData\Local\Temp\SCALAZ3_d43487e7c44667ed98849de6247386\lib-bin\scalaz3.dll: Can't find dependent libraries"

I would appreciate your help,

Thanks in advance

Regards Tiago

MikaelMayer commented 10 years ago

Hi, can you please send me the jar file you compiled? my email is my first name dot my last name at epfl dot ch.

MikaelMayer commented 10 years ago

When the next pull request will be merged, this problem will be resolved.

tvcsantos commented 10 years ago

Thanks