Closed cctv130 closed 9 months ago
add linux auto copy libz3.so to the build_lib directory.
@JonathanSalwan Fixed, please check.
add linux auto copy libz3.so to the build_lib directory.