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