The .dylib distributed in the pip package of z3 seems to have bad version info in it. Here is a comparison of the version distributed through homebrew vs pip. Notice the pip version lists versions as 0.0.0.
From pip:
$ otool -L libz3.4.12.dylib
libz3.4.12.dylib:
libz3.dylib (compatibility version 0.0.0, current version 0.0.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1311.0.0)
/usr/lib/libc++.1.dylib (compatibility version 1.0.0, current version 1200.3.0)
From homebrew:
$ otool -L libz3.4.12.dylib
libz3.4.12.dylib:
/opt/homebrew/opt/z3/lib/libz3.4.12.dylib (compatibility version 4.12.0, current version 4.12.1)
/usr/lib/libc++.1.dylib (compatibility version 1.0.0, current version 1300.32.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1319.0.0)
The
.dylibdistributed in thepippackage ofz3seems to have bad version info in it. Here is a comparison of the version distributed through homebrew vs pip. Notice the pip version lists versions as0.0.0.From
pip:From
homebrew: