java.lang.UnsatisfiedLinkError: no libz3java in java.library.path

[BryanSJZ]

Hi, I got an problem here, like what image shows below. I tried to copy dir lib/ to ~/Library/Java/Extensions/, tried to use DYLD_LIBRARY_PATH=${jpf-symbc}/lib, tried to redownload libz3java.dylib. not work.

my os is MacOs 13.2.1.

PLEEEEEEASE

[sohah]

Hi Bryan,

In my experience, you only need to set DYLD_LIBRARY_PATH to the lib directory and to have the right files in the lib directory, which should be there. I'd suggest (1) checking if DYLD_LIBRARY_PATH is actually set to the lib, perhaps by a print statement once SPF loads and before it makes any solver calls, and (2) checking the files in the lib are the ones you need. I haven't tried those on the main branch for SPF, but you can try using those here https://github.com/vaibhavbsharma/java-ranger/tree/svcomp2021/lib, and if they resolve your problem. If they do, then please make a pull request with files that need to change.

Soha

On Wed, Apr 12, 2023 at 2:28 PM BryanSJZ @.***> wrote:

[image: image] https://user-images.githubusercontent.com/26318867/231454757-5d39387c-c21d-4f49-ad4c-e0cbc9644233.png Hi, I got an problem here, like what image shows below. I tried to copy dir lib/ to ~/Library/Java/Extensions/, tried to use DYLD_LIBRARY_PATH=${jpf-symbc}/lib, tried to redownload libz3java.dylib. not work.

my os is MacOs 13.2.1.

PLEEEEEEASE

— Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/80, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACQGE5QMMNZK4WU2KFEEXR3XA2NWFANCNFSM6AAAAAAW3TRYWU . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[BryanSJZ]

I'll try it tomorrow, AND THANK YOU !!!! perhaps I have tried to setup DYLD_LIBRARY_PATH to the dir/lib, I'll follow your direction and try again. THANK YOU for your reply.

Bryan

[BryanSJZ]

Hi Bryan, In my experience, you only need to set DYLD_LIBRARY_PATH to the lib directory and to have the right files in the lib directory, which should be there. I'd suggest (1) checking if DYLD_LIBRARY_PATH is actually set to the lib, perhaps by a print statement once SPF loads and before it makes any solver calls, and (2) checking the files in the lib are the ones you need. I haven't tried those on the main branch for SPF, but you can try using those here https://github.com/vaibhavbsharma/java-ranger/tree/svcomp2021/lib, and if they resolve your problem. If they do, then please make a pull request with files that need to change. Soha … On Wed, Apr 12, 2023 at 2:28 PM BryanSJZ @.> wrote: [image: image] https://user-images.githubusercontent.com/26318867/231454757-5d39387c-c21d-4f49-ad4c-e0cbc9644233.png Hi, I got an problem here, like what image shows below. I tried to copy dir lib/ to ~/Library/Java/Extensions/, tried to use DYLD_LIBRARY_PATH=${jpf-symbc}/lib, tried to redownload libz3java.dylib. not work. my os is MacOs 13.2.1. PLEEEEEEASE — Reply to this email directly, view it on GitHub <#80>, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACQGE5QMMNZK4WU2KFEEXR3XA2NWFANCNFSM6AAAAAAW3TRYWU . You are receiving this because you are subscribed to this thread.Message ID: @.>

BTW, are you familiar with SPF? Can I ask you about it via email? I'm struggle with it. appreciate a lot!

[BryanSJZ]

This Issue is STILL OPEN, I have not solved it yet. I tried to setup DYLD_LIBRARY_PATH and DY_LIBRARY_PATH, tried to start the jpf shell with java -Djava.library.path=/path/to/lib I tried it with linux AND macOS And I am still struggling

[sohah]

I have suggested for you to do two things. Have you tried each approach?

[BryanSJZ]

yes I have tried those two things, but it doesn't work  🥲

------------------ 原始邮件 ------------------ 发件人: @.>; 发送时间: 2023年4月20日(星期四) 下午4:48 收件人: @.>; 抄送: @.>; @.>; 主题: Re: [SymbolicPathFinder/jpf-symbc] java.lang.UnsatisfiedLinkError: no libz3java in java.library.path (Issue #80)

I have suggested for you to do two things. Have you tried each approach?

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>

[yannicnoller]

Hi @BryanSJZ! Please drop me an email, and I will try to arrange a short Zoom call next week to help you debug the issue!

[sohah]

@yannicnoller , can we close this issue? I think it is now resolved.