Prompt unable to find Z3！

[IronmanJay]

I have already moved from https://github.com/Z3Prover/z3/releases I downloaded the pre built package and copied the *. so file to/usr/local/bin, but it still prompted Can't detect z3 solver library, please check your z3 solver installation or disable z3 solver in configuration

[IronmanJay]

2025年1月13日 00:25，Lime-Cocoa ***@***.***> 写道： I have the same problem. My environment is Ubuntu 22.04. I build Z3 using make and GCC/Clang. Have you solved this problem? image.png (view on web) <https://github.com/user-attachments/assets/1ed043eb-8813-4d7f-b027-7c48eda2cb8f> image.png (view on web) <https://github.com/user-attachments/assets/9cdc5b8d-e4a2-42be-aea3-db590088a269> — Reply to this email directly, view it on GitHub <#77 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ANAPX3Y5H7ZBY4XNOVLDNND2KKJQXAVCNFSM6AAAAABVBFRDMKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKOBVG44TQMRTG4>. You are receiving this because you authored the thread.

Hello I have solved the problem. Here are my steps: First, download the pre built package of Z3 4.8.15, and finally unzip it: $ cd ~ $ wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.15/z3-4.8.15-x64-glibc-2.31.zip $ unzip z3-4.8.15-x64-glibc-2.31.zip Then execute the following command to copy all files ending in ". so" from the target directory to the "/usr/local/lib/" directory and "/lib": $ sudo cp z3-4.8.15-x64-glibc-2.31/bin/*.so /usr/local/lib/ $ sudo cp z3-4.8.15-x64-glibc-2.31/bin/*.so /lib Then edit the following file to set the corresponding environment variables: $ gedit ~/.bashrc Add the following content at the end of the opened file, save the modifications, and exit:  Then execute the following command to reload the set environment variables: $ source ~/.bashrc Done!

[Lime-Cocoa]

2025年1月13日 00:25，Lime-Cocoa @.*> 写道： I have the same problem. My environment is Ubuntu 22.04. I build Z3 using make and GCC/Clang. Have you solved this problem? image.png (view on web) https://github.com/user-attachments/assets/1ed043eb-8813-4d7f-b027-7c48eda2cb8f image.png (view on web) https://github.com/user-attachments/assets/9cdc5b8d-e4a2-42be-aea3-db590088a269 — Reply to this email directly, view it on GitHub <#77 (comment)>, or unsubscribe https://github.com/notifications/unsubscribe-auth/ANAPX3Y5H7ZBY4XNOVLDNND2KKJQXAVCNFSM6AAAAABVBFRDMKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKOBVG44TQMRTG4. You are receiving this because you authored the thread.
Hello I have solved the problem. Here are my steps: First, download the pre built package of Z3 4.8.15, and finally unzip it: $ cd ~ $ wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.15/z3-4.8.15-x64-glibc-2.31.zip $ unzip z3-4.8.15-x64-glibc-2.31.zip Then execute the following command to copy all files ending in ". so" from the target directory to the "/usr/local/lib/" directory and "/lib": $ sudo cp z3-4.8.15-x64-glibc-2.31/bin/.so /usr/local/lib/ $ sudo cp z3-4.8.15-x64-glibc-2.31/bin/.so /lib Then edit the following file to set the corresponding environment variables: $ gedit ~/.bashrc Add the following content at the end of the opened file, save the modifications, and exit:  Then execute the following command to reload the set environment variables: $ source ~/.bashrc Done!

I got it，thank you！